Querying Expressive DL Ontologies under the ICAR Semantics.
Despoina TrivelaGiorgos StoilosVasilis VassalosPublished in: Description Logics (2018)
Keyphrases
- owl dl
- description logics
- description logic programs
- ontological reasoning
- highly expressive
- dl programs
- ontology reasoning
- reasoning services
- owl ontologies
- semantic web
- rule engine
- ontology languages
- knowledge representation languages
- dl lite
- ontological framework
- formal semantics
- ontology based data access
- domain knowledge
- knowledge base
- ontology matching
- databases
- knowledge representation
- model theoretic
- semantically heterogeneous
- rdf graphs
- conceptual graphs
- machine processable
- semantic mapping
- reasoning mechanism
- rule language
- ontology mappings
- query language
- expressive power
- computational properties
- reasoning tasks
- reasoning problems
- semantic relationships
- semantic web ontologies
- query processing
- semantic web languages
- vague concepts
- domain ontology
- sparql queries
- rdf data
- first order logic
- logic programming
- ontological concepts
- query answering
- web resources
- owl dl ontology
- tight complexity bounds
- data exchange
- semantic heterogeneity
- semantic web technologies
- medical terminology
- data complexity