Improving ontologies by automatic reasoning and evaluation of logical definitions.
Sebastian KöhlerSebastian BauerChris MungallGabriele CarlettiCynthia L. SmithPaul N. SchofieldGeorgios V. GkoutosPeter N. RobinsonPublished in: BMC Bioinform. (2011)
Keyphrases
- logical reasoning
- knowledge representation
- knowledge base
- automatic evaluation
- fully automatic
- reasoning systems
- domain specific
- semi automatic
- evaluation method
- logical framework
- reasoning services
- reasoning mechanism
- representing knowledge
- databases
- probabilistic logic
- semi automatically
- automated reasoning
- domain ontology
- ontology languages
- owl dl
- formal semantics
- probabilistic knowledge
- probabilistic reasoning
- description logics
- biomedical ontologies
- ontology reasoning
- ontology population
- semantic web ontologies