Updatable Island Reasoning for Alchi-ontologies.
Sebastian WandeltRalf MöllerPublished in: KEOD (2009)
Keyphrases
- knowledge representation
- knowledge base
- reasoning with inconsistent
- logical reasoning
- reasoning mechanism
- reasoning services
- modular ontologies
- semantic web ontologies
- ontology reasoning
- semantic web
- description logics
- ontology engineering
- expressive description logics
- owl dl
- reasoning process
- reasoning tasks
- ontology mapping
- ontology evolution
- databases
- automated reasoning
- semantic web technologies
- domain specific
- biomedical ontologies
- web ontology language
- reasoning mechanisms
- domain ontology
- reasoning systems
- computational properties
- web resources
- spatial reasoning
- bayesian networks
- data model
- ontological reasoning
- formal ontologies
- domain knowledge
- qualitative reasoning
- background knowledge
- logic programming
- knowledge management
- semi automatic
- ontology integration
- semantic technologies
- dl lite
- ontology alignment