A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734): Difference between revisions

@@ Property / author @@
-Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
-Normal rank
@@ Property / author @@
+Michael Zakharyashchev
@@ Property / author: Michael Zakharyashchev / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeMP
@@ Property / describes a project that uses: TeMP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TSPASS
@@ Property / describes a project that uses: TSPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1980167179
@@ Property / OpenAlex ID: W1980167179 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5571
@@ Property / arXiv ID: 1209.5571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101884
@@ Property / cites work: Q4101884 / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230717
@@ Property / cites work: Q4230717 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of temporal extensions of description logics
+Normal rank
@@ Property / cites work @@
+Foundations of Temporal Conceptual Data Models
@@ Property / cites work: Foundations of Temporal Conceptual Data Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708910
@@ Property / cites work: Q4708910 / rank @@
+Normal rank
@@ Property / cites work @@
+DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
+Normal rank
@@ Property / cites work @@
+Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
+Normal rank
@@ Property / cites work @@
+Evolving objects in temporal information systems
@@ Property / cites work: Evolving objects in temporal information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporalizing Ontology-Based Data Access
@@ Property / cites work: Temporalizing Ontology-Based Data Access / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL over description logic axioms
@@ Property / cites work: LTL over description logic axioms / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Time-dependent concepts: representation and reasoning using temporal description logics
+Normal rank
@@ Property / cites work @@
+Temporal Query Answering in the Description Logic DL-Lite
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Q2751375
@@ Property / cites work: Q2751375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264772
@@ Property / cites work: Q4264772 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+Querying ATSQL databases with temporal logic
@@ Property / cites work: Querying ATSQL databases with temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and unary languages
@@ Property / cites work: Finite automata and unary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics in simple cases
+Normal rank
@@ Property / cites work @@
+Temporal Logic with Capacity Constraints
@@ Property / cites work: Temporal Logic with Capacity Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692527
@@ Property / cites work: Q4692527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal temporal resolution
@@ Property / cites work: Clausal temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753192
@@ Property / cites work: Q2753192 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Products of ‘transitive” modal logics
@@ Property / cites work: Products of ‘transitive” modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Decomposing Modal and First-Order Theories
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Temporalising tableaux
@@ Property / cites work: Temporalising tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing a fair monodic temporal logic prover
@@ Property / cites work: Implementing a fair monodic temporal logic prover / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+On the size of refutation Kripke models for some linear modal and tense logics
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Conceptual Modeling for Traditional and Spatio-Temporal Applications
+Normal rank
@@ Property / cites work @@
+A decision procedure for combinations of propositional temporal logic and other specialized theories
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics over Linear Time Domains Are in PSPACE
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic constraints and object migration
@@ Property / cites work: Dynamic constraints and object migration / rank @@
+Normal rank
@@ Property / cites work @@
+Unary finite automata vs. arithmetic progressions
@@ Property / cites work: Unary finite automata vs. arithmetic progressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939661
@@ Property / cites work: Q4939661 / rank @@
+Normal rank