Keyphrases
- ontology languages
- owl dl
- description logics
- semantic web
- ontology reasoning
- reasoning services
- reasoning systems
- domain ontology
- dl lite
- data complexity
- knowledge base
- formal semantics
- expressive description logics
- knowledge representation
- dl programs
- conceptual modeling
- owl ontologies
- information integration
- expressive power
- query answering
- data types
- ontological reasoning
- reasoning problems
- real world
- conceptual models
- semantic technologies
- computational properties
- semantic web technologies
- rule language
- knowledge representation systems
- real life
- description logic programs
- medical terminology
- snomed ct
- databases
- formal ontologies
- conceptual graphs
- domain knowledge
- metadata
- information systems
- rule engine
- reasoning engine
- semantic relations
- owl dl ontology
- ontology engineering