Temporal versus first-order logic to query temporal databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling time from a conceptual perspective
Proceedings of the seventh international conference on Information and knowledge management
Logics for databases and information systems
Logics for databases and information systems
Temporal logic in information systems
Logics for databases and information systems
Description logics for conceptual data modeling
Logics for databases and information systems
Modal description logics: modalizing roles
Fundamenta Informaticae
Concept based design of data warehouses: the DWQ demonstrators
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Temporal Entity-Relationship Models-A Survey
IEEE Transactions on Knowledge and Data Engineering
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Temporal Query Languages: A Survey
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
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
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Conceptual modeling with description logics
The description logic handbook
Description logics for databases
The description logic handbook
Multi-dimensional description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
ACM Transactions on Computational Logic (TOCL)
Reasoning on temporal class diagrams: Undecidability results
Annals of Mathematics and Artificial Intelligence
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Temporal Verification of Fault-Tolerant Protocols
Methods, Models and Tools for Fault Tolerance
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Mechanising first-order temporal resolution
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Complexity of reasoning over temporal data models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Specification of history based constraints for access control in conceptual level
ICISS'10 Proceedings of the 6th international conference on Information systems security
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn
Journal of Biomedical Informatics
Fixpoints in temporal description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear temporal logic with Since and Until. We define a query language (where queries are non-recursive Datalog programs and atoms are complex DLRUS expressions) and investigate the problem of checking query containment under the constraints defined by DLRUS conceptual schemas--i.e., DLRUS knowledge bases--as well as the problems of schema satisfiability and logical implication.