Progress in Automating Higher-Order Ontology Reasoning.

Christoph Benzmüller Adam Pease

Published in: PAAR@IJCAR (2010)

Keyphrases

higher order
ontology reasoning
description logics
reasoning engine
conceptual graphs
high order
pairwise
markov random field
general purpose
database
information extraction
knowledge representation
learning process
natural language
computational properties
cooperative
knowledge base