Keyphrases
- description logics
- dl lite
- owl dl
- ontological reasoning
- knowledge base
- semantic web
- ontology languages
- first order logic
- xml documents
- description logic programs
- query evaluation
- dl programs
- expressive power
- query language
- medical terminology
- transitive closure
- xml data
- knowledge representation
- domain knowledge
- ontology alignment
- formal ontologies
- ontology matching
- computational properties
- semantic technologies
- domain ontology
- information integration
- ontology mapping
- xpath queries
- owl ontologies
- semantic web technologies
- databases
- snomed ct
- conjunctive queries
- xml processing
- domain specific
- background knowledge
- reasoning problems
- xml queries
- query answering
- formal semantics
- ontology mappings