Reasoning the FMA Ontologies with TrOWL.
Jeff Z. PanYuan RenNophadol JekjantukJhonatan GarciaPublished in: ORE (2013)
Keyphrases
- knowledge base
- reasoning with inconsistent
- knowledge representation
- reasoning mechanism
- reasoning services
- semantic web ontologies
- logical reasoning
- ontology reasoning
- description logics
- modular ontologies
- owl dl
- semantic web
- expressive description logics
- domain specific
- spatial reasoning
- reasoning tasks
- ontology mapping
- databases
- semantic technologies
- automated reasoning
- ontology evolution
- ontology engineering
- ontology languages
- qualitative reasoning
- semantic relationships
- description logic programs
- ontology integration
- ontology learning
- reasoning systems
- reasoning process
- knowledge structures
- semantic web technologies
- background knowledge
- domain knowledge
- artificial intelligence