Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies.
Sebastian WandeltRalf MöllerPublished in: FOIS (2008)
Keyphrases
- knowledge base
- knowledge representation
- reasoning with inconsistent
- logical reasoning
- ontology reasoning
- reasoning mechanism
- semantic web
- modular ontologies
- ontology evolution
- reasoning services
- semantic web ontologies
- reasoning engine
- owl dl
- semantic technologies
- domain ontology
- reasoning mechanisms
- databases
- reasoning systems
- expressive description logics
- formal ontologies
- reasoning tasks
- information integration
- ontology engineering
- ontology mapping
- automated reasoning
- spatial reasoning
- background knowledge
- description logics
- ontology alignment
- knowledge processing
- reasoning process
- ontological framework
- semantic relationships
- ontological reasoning
- domain knowledge
- description logic programs