Integer and combinatorial optimization
Integer and combinatorial optimization
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements
Artificial Intelligence
Subsumption between queries to object-oriented databases
Information Systems - Special issue on extending database technology
Conceptual language for statistical data modeling
Data & Knowledge Engineering
Foundations of aggregation constraints
Theoretical Computer Science
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding equivalences among aggregate queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Description logics for conceptual data modeling
Logics for databases and information systems
Aggregate-Query Processing in Data Warehousing Environments
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Answering Queries with Aggregation Using Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Reasoning with Concrete Domains
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Conceptual Data Model with Structured Objects for Statistical Database
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Reasoning with Aggregation Constraints
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Web Semantics: Science, Services and Agents on the World Wide Web
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Efficient retrieval of ontology fragments using an interval labeling scheme
Information Sciences: an International Journal
Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Storage and query about ontology with expressive means
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Multidimensional integrated ontologies: a framework for designing semantic data warehouses
Journal on Data Semantics XIII
Using domain ontologies as semantic dimensions in data warehouses
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Hi-index | 0.00 |
Description logics are a family of knowledge representation formalisms well suited for intentional reasoning about conceptual models of databases/data warehouses. We extend description logics with concrete domains (such as integers and rational numbers) that include aggregation functions over these domains (such as min, max, count, and sum) which are usually available in database systems. We show that the presence of aggregation functions may easily lead to undecidability of (intentional) inference problems such as satisfiability and subsumption. However, there are also extensions for which satisfiability and subsumption are decidable, and we present decision procedures for the relevant inference problems.