A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Ontology-Mediated Querying with Horn Description Logics
2020
Künstliche Intelligenz
An ontology-mediated query (OMQ) consists of a database query paired with an ontology. When evaluated on a database, an OMQ returns not only the answers that are already in the database, but also those answers that can be obtained via logical reasoning using rules from ontology. There are many open questions regarding the complexities of problems related to OMQs. Motivated by the use of ontologies in practice, new reasoning problems which have never been considered in the context of ontologies
doi:10.1007/s13218-020-00674-7
pmid:33343090
pmcid:PMC7732796
fatcat:btls7uiujbandmca55x6nzwzbe