Keyphrases
- open world
- knowledge base
- knowledge representation
- expressive description logics
- web ontology language
- owl dl
- description logics
- ontology reasoning
- website
- spatial reasoning
- automated reasoning
- open source
- semantic web
- model based reasoning
- reasoning systems
- reasoning process
- legal reasoning
- natural language
- fuzzy description logics
- reasoning services
- reasoning tasks
- qualitative reasoning
- markup language
- semantic web technologies
- incomplete information
- owl ontologies
- computational properties
- query language
- knowledge representation language
- reasoning mechanisms
- data model
- probabilistic reasoning
- information systems