Absorption-Based Query Answering for Expressive Description Logics : Evaluation Data
Erstveröffentlichung
2019-07-02
Software
Link to publication
https://dx.doi.org/10.5281/zenodo.3266160Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Künstliche IntelligenzConference
The 18th International Semantic Web Conference (ISWC), 2019-10-26 - 2019-10-30, Auckland, New Zealand
DFG Project THU
Beantwortung Konjunktiver Anfragen für Ausdrucksstarke Beschreibungslogiken / DFG / 330492673
Subject headings
[LCSH]: OWL (Web ontology language) | Description logics | Query languages (Computer science) | Absorption[Free subject headings]: Automated Reasoning | Web Ontology Language | Conjunctive Query Anwering | Tableau Algorithm | Konclude
[DDC subject group]: DDC 004 / Data processing & computer science