A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A conceptual model for multidimensional data
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
Description Logics, Data Modelling and Relational Dependencies
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Reasoning on UML class diagrams
Artificial Intelligence
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Cross: an OWL wrapper for reasoning on relational databases
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
The limits of querying ontologies
ICDT'07 Proceedings of the 11th international conference on Database Theory
Bringing together structured and unstructured sources: the OUMSUIS approach
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
In contrast to the relatively complex information that can be expressed in DL ABoxes (which we might call knowledge or information), databases and other sources such as files, semistructured data, and the World Wide Web provide rather simpler data, which must however be managed effectively. This chapter surveys the major classes of application of Description Logics and their reasoning facilities to the issues of data management, including: (i) expressing the conceptual domain model/ontology of the data source, (ii) integrating multiple data sources, and (iii) expressing and evaluating queries. In each case we utilize the standard properties of Description Logics such as the ability to express ontologies at a level closer to that of human conceptualization (e.g., representing conceptual schemas), determining consistency of descriptions (e.g., determining if a query or the integration of some schemas is consistent), and automatically classifying descriptions that are definitions (e.g., queries are really definitions, so we can classify them and determine subsumption between them).