Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken
| dc.contributor.author | Steigmiller, Andreas | |
| dc.contributor.editor | Hölldobler, Steffen | |
| dc.date.accessioned | 2019-01-23T14:30:40Z | |
| dc.date.available | 2019-01-23T14:30:40Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | Zur Wissensrepräsentation in intelligenten Systemen werden häufig logikbasierte Ontologiesprachen verwendet. Zum Beispiel basiert die vom W3C standardisierte Web Ontology Language auf der Beschreibungslogik SROIQ und findet breiten Einsatz in den Life Sciences, der Medizin, oder auch im Semantic Web. Die logische Grundlage solcher Sprachen bietet unter anderem den Vorteil, dass mit Schlussfolgerungssystemen implizite Zusammenhänge im repräsentierten Wissen ermittelt werden können, wodurch sich neue Informationen und logische Widersprüche aufdecken lassen. Die Schlussfolgerungssysteme für SROIQ basieren üblicherweise auf Tableau-Algorithmen. Für diese wurden bereits zahlreiche Optimierungen entwickelt, jedoch ist die Performanz für viele Ontologien und Anwendungsfälle immer noch unzureichend. | de |
| dc.identifier.isbn | 978-3-88579-976-4 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19945 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Ausgezeichnete Informatikdissertationen 2016 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume D-17 | |
| dc.title | Optimierung von tableaubasierten Schlussfolgerungssystemen für ausdrucksstarke Beschreibungslogiken | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 268 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 259 | |
| gi.conference.date | 21.-24. Mai 2017 | |
| gi.conference.location | Schoss Dagstuhl, Deutschland |
Dateien
Originalbündel
1 - 1 von 1