Semantisk resonnement - Semantic reasoner

"Reasoner" omdirigerer her. For annen bruk, se Reasoner (disambiguation) .

En semantisk resonnement , resonnementsmotor , regelmotor eller rett og slett en begrunnelse , er en programvare som kan utlede logiske konsekvenser av et sett med påståtte fakta eller aksiomer . Tanken om en semantisk resonnement generaliserer tanken på en slutningsmotor , ved å tilby et rikere sett med mekanismer å jobbe med. De slutningsregler er ofte angitt ved hjelp av en ontologi språk , og ofte en beskrivelse logikk språk. Mange resonnenter bruker første ordens predikatlogikk for å utføre resonnement; slutning fortsetter vanligvis ved kjetting forover og bakover . Det er også eksempler på sannsynlighetsgrunnlag, inkludert ikke-aksiomatiske resonnementsystemer og sannsynlige logiske nettverk .

Bemerkelsesverdige applikasjoner

Bemerkelsesverdige semantiske resonnementer og tilhørende programvare:

Gratis å bruke (lukket kilde)

  • Cyc inferensmotor, en frem- og bakovergående kjedemotor med mange spesialiserte moduler for høyordens logikk.
  • KAON2 er en infrastruktur for å administrere OWL-DL , SWRL og F-Logic ontologier.

Gratis programvare (åpen kildekode)

  • Cwm , en fremoverkjedende resonnement som brukes til å spørre, sjekke, transformere og filtrere informasjon. Kjernespråket er RDF, utvidet til å inkludere regler, og det bruker RDF/XML eller N3 -serialiseringer etter behov.
  • Drools , en fremoverkjedende slutningsbasert regelmotor som bruker en forbedret implementering av Rete-algoritmen .
  • Evrete , en fremadgående Java-regelmotor som bruker Rete-algoritmen og er kompatibel med Java Rule Engine API (JSR 94).
  • Flora-2 , et objektorientert, regelbasert kunnskapsrepresentasjons- og resonnementsystem.
  • Jena , et open source semantisk-web-rammeverk for Java som inkluderer en rekke forskjellige semantiske resonnementsmoduler.
  • Prova , en semantisk nettregelmotor som støtter dataintegrasjon via SPARQL-forespørsler og typesystemer (RDFS, OWL-ontologier som typesystem).
  • DIP , Defeasible-Inference Platform (DIP) er en Web Ontology Language reasoner og Protégé_ (programvare) desktop plugin for å representere og resonnere med defeasible subsumption. Den implementerer en Preferentiell entallment -stil av resonnement som reduseres til "klassisk entailment", dvs. uten å måtte endre den underliggende beslutningsprosedyren.

Søknader som inneholder resonnementer


Semantic Reasoner for Internet of Things (åpen kildekode)

S-LOR (Sensor-based Linked Open Rules) semantisk resonnement S-LOR er under GNU GPLv3-lisens.  

S-LOR (Sensor-based Linked Open Rules) er en regelbasert resonnementsmotor og en tilnærming for deling og gjenbruk av interoperable regler for å utlede meningsfull kunnskap fra sensormålinger.

Se også

Referanser

Eksterne linker