A Journey into Ontology Approximation: From Non-Horn to Horn.
Anneke HagaCarsten LutzJohannes MartiFrank WolterPublished in: IJCAI (2020)
Keyphrases
- np hard
- owl dl ontology
- owl dl ontologies
- approximation algorithms
- propositional logic
- horn theories
- domain knowledge
- ontology driven
- domain specific
- semantic web
- approximation methods
- approximation error
- data sets
- knowledge compilation
- closed form
- canonical representation
- function free horn
- horn clauses
- domain ontology
- semantic information
- worst case
- knowledge representation
- computational complexity
- knowledge base
- artificial intelligence
- neural network