Improving the Competency of First-Order Ontologies.

Javier Álvez Paqui Lucio German Rigau

Published in: CoRR (2015)

Keyphrases

higher order
ontology alignment
domain ontology
databases
learning styles
first order logic
domain specific
semantic web
ontology mapping
knowledge base
knowledge representation
knowledge acquisition
human resources
horn clauses
quantifier elimination