Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
A Knowledge-Based Query System for Biological Databases
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Application of Supervaluation Semantics to Vaguely Defined Spatial Concepts
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Schema Evolution and Versioning: A Logical and Computational Characterisation
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Declarative Specification of Z39.50 Wrappers Using Description Logics
ECDL '99 Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Knowledge Based Paradigm for Querying Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The description logic handbook
Enforcing cardinality constraints in the ER model with integrity methods
Advanced topics in database research vol. 1
Description logics with aggregates and concrete domains
Information Systems
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Representing and reasoning on XForms document
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
NEXP TIME-complete description logics with concrete domains
ACM Transactions on Computational Logic (TOCL)
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Reasoning on UML class diagrams
Artificial Intelligence
Information retrieval and machine learning for probabilistic schema matching
Information Processing and Management: an International Journal
Data & Knowledge Engineering - Special issue: ER 2003
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
A conceptual model for multidimensional data
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Description Logic Representation for Requirement Specification
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
An Incremental Technique for Automata-Based Decision Procedures
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A Model for Describing and Annotating Documents
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Description Logics, Data Modelling and Relational Dependencies
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Structured knowledge representation for image retrieval
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
A Strategy to Revise the Constraints of the Mediated Schema
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Is It Important to Explain a Theorem? A Case Study on UML and $\mathcal{ALCQI}$
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
An Ontology-Based Framework for Geographic Data Integration
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The DL-lite family and relations
Journal of Artificial Intelligence Research
Reconciling description logics and rules
Journal of the ACM (JACM)
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
How to decide query containment under constraints using a description logic
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
DWOBS: data warehouse design from ontology-based sources
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Spatio-temporal schema integration with validation: a practical approach
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Modeling Spatial and Temporal Set-Based Constraints During Conceptual Database Design
Information Systems Research
OSM-Logic: a fact-oriented, time-dependent formalization of object-oriented systems modeling
Conceptual Modelling and Its Theoretical Foundations
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |