Wolpertinger

From International Center for Computational Logic

Wolpertinger

Wolpertinger is a fixed-domain reasoner
Wolpertinger Logo


People

  • Lukas Schweizer, Satyadharma Tirtarasa, Sebastian Rudolph

Research Groups

  •   Contact Lukas Schweizer, Satyadharma Tirtarasa, Sebastian Rudolph
  •   Publication date Fehler: Ungültige Zeitangabe Fehler: Ungültige Zeitangabe

Proceedings Articles

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download

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

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download