Live Ontologien

Der Einsatz von Logik-basierten Ontologiesprachen, wie z.B. OWL, verbreitet sich zunehmend in vielen Anwendungsbereichen, insbesondere im Bereich der Biologie und der Medizin. Der Erfolg von OWL basiert im Wesentlichen auf der Unterstützung von automatischem Schlussfolgern, welches es erlaubt die impliziten Konsequenzen einer Ontologie zu analysieren. Trotz erheblicher Fortschritte in diesem Bereich ist die Unterstützung bei der Entwicklung von umfangreichen Ontologien, wie SNOMED CT, durch Inferenzsysteme immer noch eingeschränkt. Insbesondere komplexe Aspekte in der Ontologie-Entwicklung wurden in der Wissenschaft bisher nur unzureichend behandelt. Dieses Projekt entwickelt daher Prozeduren zum automatischen Schlussfolgern, die die folgenden Aspekte berücksichtigen:

  • Umgang mit sich ändernden Ontologien: Wie können Standardfunktionen eines Reasoners inkrementell ausgeführt werden, so dass bei einer Änderung nur diejenigen Resultate erneut berechnet werden, die von der Änderung tatsächlich beeinflusst werden?
  • Unterstützung für automatisches Schlussfolgern in der gemeinschaftlichen Entwicklung von Ontologien: Wie kann sicher gestellt werden, dass sich die Konsequenzen aus den Änderungen eines Entwicklers nicht negativ auf die Arbeit anderer Entwickler auswirken?
  • Schlussfolgern über verteilte Ontologien: Wie kann automatisches Schlussfolgern lokal realisiert werden, wenn sich die betreffende Ontologie aus verschiedenen Teilen zusammensetzt, die nicht alle lokal gespeichert sind?

Projektlaufzeit: 2012 bis 2017

Projektteilnehmer

Veröffentlichungen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

9.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Advancing {ELK}: Not Only Performance Matters
In Diego Calvanese and Boris Konev, Editor, DL Band 1350 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2015
8.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
The Incredible {ELK}: From Polynomial Procedures to Efficient Reasoning with {EL} Ontologies
JAR, 53(1):1-61
2014
7.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
ISWC Band 8797 aus Lecture Notes in Computer Science , Seite 196--211.
Herausgeber: Springer,
2014
6.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Bridging the Gap between Tableau and Consequence-Based Reasoning
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 579-590.
Herausgeber: CEUR-WS.org,
2014
5.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Goal-Directed Tracing of Inferences in {EL} Ontologies
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, Editor, DL Band 1193 aus CEUR Workshop Proceedings , Seite 221-232.
Herausgeber: CEUR-WS.org,
2014
4.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Incremental Reasoning in {EL+} without Bookkeeping
DL Band 1014 aus CEUR Workshop Proceedings , Seite 294-315.
Herausgeber: CEUR-WS.org,
2013
3.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Experimenting with {ELK} Reasoner on Android
ORE Band 1015 aus CEUR Workshop Proceedings , Seite 68-74.
Herausgeber: CEUR-WS.org,
2013
2.
pdf
Kazakov, Yevgeny; Klinov, Pavel
Incremental Reasoning in {OWL EL} without Bookkeeping
ISWC Band 8218 aus Lecture Notes in Computer Science , Seite 232-247.
Herausgeber: Springer,
2013
1.
pdf
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
Practical Reasoning with Nominals in the {EL} Family of Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, Editor, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning ({KR} 2012)
Herausgeber: AAAI Press,
2012
ISBN: 978-1-57735-560-1
Export als: BibTeX, XML