A Journey into Ontology Approximation: From Non-Horn to Horn.
Anneke HagaCarsten LutzJohannes MartiFrank WolterPublished in: CoRR (2020)
Keyphrases
- np hard
- horn theories
- domain specific
- propositional logic
- knowledge base
- approximation algorithms
- owl dl ontology
- closed form
- owl dl ontologies
- horn logic
- knowledge compilation
- domain ontology
- knowledge representation
- error bounds
- semantic relationships
- approximation error
- semantic information
- rough sets
- artificial intelligence