Reasoner Semantische Infrastruktur

Reasoner

Reasoner verarbeiten OWL-Ontologien und leiten durch logische Inferenz neues Wissen ab. Wenn eine Ontologie definiert, dass die Klasse Autor eine Unterklasse von Person ist und Max Mustermann als Autor klassifiziert wird, schließt der Reasoner automatisch, dass Max Mustermann auch eine Person ist. Reasoner prüfen zudem die Konsistenz einer Ontologie: ob die definierten Axiome widerspruchsfrei sind. Bekannte Reasoner sind Pellet, HermiT und FaCT++. In der semantischen Infrastruktur sind Reasoner die Motoren, die aus statischen Fakten dynamisches Wissen generieren. Sie multiplizieren den Nutzen einer Ontologie, indem sie implizite Zusammenhänge explizit machen. In der Praxis des Web spielen Reasoner eine indirekte Rolle: Suchmaschinen nutzen ähnliche Inferenzmechanismen intern, ohne diese offenzulegen. Die Fähigkeit von Knowledge Graphs, aus bekannten Fakten auf unbekannte zu schließen, basiert auf den Prinzipien, die Reasoner implementieren.