Tractable and Decidable Fragments of Conceptual Graphs.

Franz Baader Ralf Molitor Stephan Tobies

Published in: ICCS (1999)

Keyphrases

conceptual graphs
knowledge structures
natural language
domain ontology
partial order
conceptual structures
np complete
formal representation
object oriented dbms
plan existence
first order logic
semantic relations
ontology reasoning
retrieval engine
data sets
domain specific
decision trees