Incremental Reasoning in OWL EL without Bookkeeping.
Yevgeny KazakovPavel KlinovPublished in: ISWC (1) (2013)
Keyphrases
- description logics
- web ontology language
- reasoning services
- knowledge representation
- owl dl
- open world
- knowledge base
- ontology reasoning
- expressive description logics
- reasoning tasks
- reasoning systems
- ontology languages
- incremental learning
- semantic web
- automated reasoning
- dl lite
- reasoning problems
- owl ontologies
- knowledge representation formalisms
- knowledge representation language
- closed world
- spatial reasoning
- incremental version
- incomplete information
- ontological reasoning
- computational properties
- incremental algorithms
- neural network
- probabilistic reasoning
- inference engine
- case based reasoning
- domain knowledge
- expert systems
- artificial intelligence