A Combined Approach to Incremental Reasoning for EL Ontologies.
Yuan RenJeff Z. PanIsa GucluMartin J. KollingbaumPublished in: RR (2016)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- logical reasoning
- reasoning services
- reasoning with inconsistent
- reasoning mechanism
- owl dl
- semantic web ontologies
- dl lite
- modular ontologies
- expressive description logics
- incremental learning
- qualitative reasoning
- semantic web
- formal ontologies
- domain specific
- ontology reasoning
- reasoning tasks
- reasoning process
- biomedical ontologies
- semantic technologies
- ontology engineering
- ontology evolution
- reasoning systems
- automated reasoning
- artificial intelligence
- reasoning problems
- knowledge processing
- databases
- web ontology language
- legal reasoning
- ontology mapping
- query answering
- ontological reasoning
- background knowledge
- logic programming