A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).

Anneke Haga Carsten Lutz Johannes Marti Frank Wolter

Published in: Description Logics (2020)

Keyphrases

np hard
horn theories
domain knowledge
domain specific
semantic web
error bounds
approximation algorithms
knowledge base
knowledge representation
owl dl ontology
ontology construction
canonical representation
owl dl ontologies
neural network
horn logic
approximation error
artificial intelligence