Keyphrases
- knowledge representation
- knowledge base
- modular ontologies
- logical reasoning
- reasoning mechanism
- ontology reasoning
- ontology evolution
- first order logic
- qualitative physics
- semantic web
- domain knowledge
- domain ontology
- description logics
- higher order
- owl dl
- probabilistic logic
- automated reasoning
- reasoning systems
- knowledge representation and reasoning
- semantically enhanced
- reasoning services
- ontology engineering
- semantic relationships
- computational properties
- reasoning problems
- reasoning tasks
- horn clauses
- biomedical ontologies
- reasoning engine
- ontological reasoning
- semantic web rule language
- semantic web ontologies
- knowledge sharing and reuse
- topological relations
- probabilistic reasoning
- theorem proving
- semantic annotation
- semi automatic
- data model
- web services