Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics

Sebastian RudolphSebastian Rudolph, Lukas SchweizerLukas Schweizer, Satyadharma TirtarasaSatyadharma Tirtarasa

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer

Details
Bibtex

KurzfassungAbstract
The Fixed-Domain Semantics for OWL and description logic has been introduced to open up the OWL modeling and reasoning tool landscape for use cases resembling constraint satisfaction problems. While standard reasoning under this new semantics is by now rather well-understood theoretically and supported practically, more elaborate tasks like computation of justifications have not been considered so far, although being highly important in the modeling phase. In this paper, we compare three approaches to this problem: one using standard OWL technology employing an axiomatization of the Fixed-Domain Semantics, one using our dedicated fixed-domain reasoner Wolpertinger in combination with standard justification computation technology, and one where the problem is encoded entirely into answer-set programming.
Weitere Informationen unter:Further Information: Link
Projekt:Project: EMCL, QuantLA
Verknüpfte Tools:Related Tools: Wolpertinger
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Computational LogicComputational Logic

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-99906-7_12.

@inproceedings{RST2018,
  author    = {Sebastian Rudolph and Lukas Schweizer and Satyadharma Tirtarasa},
  title     = {Justifications for the Description Logics Knowledge Bases under
               the Fixed-Domain Semantics},
  editor    = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent
               and Dumitru Roman},
  booktitle = {Rules and Reasoning - Second International Joint Conference,
               {RuleML+RR2018,} Luxembourg, September 18-21, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11092},
  publisher = {Springer},
  year      = {2018},
  month     = {September},
  pages     = {185--200},
  doi       = {10.1007/978-3-319-99906-7_12}
}