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

  • Dr. Yevgeny Kazakov (Projektleiter)
  • Dr. Pavel Klinov (wissenschaftlicher Mitarbeiter, 2012-2015)
  • Peter Skocovsky (wissenschaftlicher Mitarbeiter, 2015-2017)

Veröffentlichungen

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

12.
pdf
Kazakov, Yevgeny; Klinov, Pavel; Stupnikov, Alexander
Towards Reusable Explanation Services in Protege
In Alessandro Artale and Birte Glimm and Roman Kontchakov, Editor, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
11.
pdf
Kazakov, Yevgeny; Ponamaryov, Denis K.
On the Complexity of Semantic Integration of OWL Ontologies
In Alessandro Artale and Birte Glimm and Roman Kontchakov, Editor, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
10.
pdf
Kazakov, Yevgeny; Skocovsky, Peter
Enumerating Justifications using Resolution
In Alessandro Artale and Birte Glimm and Roman Kontchakov, Editor, Proceedings of the 30th International Workshop on Description Logics (DL 2017) Band 1879 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2017
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
Export als: BibTeX, XML