Automated Reasoning Support for Ontology Development.

Megan Katsumi Michael Grüninger

Published in: IC3K (2010)

Keyphrases

key technologies
ontology development
automated reasoning
reasoning systems
knowledge representation
theorem prover
probabilistic reasoning
theorem proving
artificial intelligence
semantic web