A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proc. JELIA'02, volume 2424 of LNCS, pages 98--110. Springer, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards the Implementation of First-Order Temporal.. - Konev, Degtyarev (Correct)
....first order models, while the resolution method requires the maximal combination of all temporal clauses. In this paper, we focus on an important subclass of temporal models, having a wide range of applications, for example in spatio temporal logics [21, 10] and temporal description logics [1], namely those models that have expanding domains. In such models, the domains over which first order terms range can increase at each temporal step. The focus on this class of models allows us to produce a simplified clausal resolution calculus, termed a fine grained calculus, which is more ....
A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proceedings of JELIA'02, volume 2424 of LNCS, pages 98-- 110. Springer, 2002.
Towards the Implementation of First-Order Temporal .. - Konev, Degtyarev, .. (2003) (Correct)
....possible first order models, while the resolution method requires the maximal combination of all temporal clauses. In this paper, we focus on an important subclass of temporal models, having a wide range of applications, for example in spatio temporal logics [19, 9] and temporal description logics [1], namely those models that have expanding domains. In such models, the domains over which first order terms range can increase at each temporal step. The focus on this class of models allows us to produce a simplified clausal resolution calculus, termed a fine grained calculus, which is more ....
A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proceedings of JELIA'02, volume 2424 of Lecture Notes in Computer Science, pages 98--110. Springer, 2002.
Description Logics for Modelling Dynamic Information - Artale, Franconi, Mandreoli (2003) (1 citation) Self-citation (Artale Franconi) (Correct)
....which are currently living beings and live in some place, and will maintain this essence until they will stop to be living beings forever: Mortal . LivingBeing # #LIVES IN. Place # (LivingBeing U LivingBeing) The tense logical extensions of ALCQI have been thoroughly studied in [43,4]. It has been proved that reasoning in ALCQI US (i.e. deciding knowledge base and concept satisfiability, deciding concept subsumption, and deciding logical implication) is undecidable, while it is EXPTIME complete in its fragment ALCQI US . Even pure ALC with just the operator at the level ....
....neither global nor liveness satisfiability can be captured by ALCQI US axioms as presented in this Chapter. Indeeed, a more expressive axiom language is required to capture these reasoning tasks, i.e. a language where complex axioms can be formed using full boolean and tempoaral operators (see [2,4]) Important complexity results can be proved if we consider the fragment of ER VT that can be encoded in ALCQI US , namely the fragment without snapshot relations and attributes, temporal keys, and lifespan cardinalities. In [4] an EXPTIME upper bound was proved for ALCQI US : therefore, we ....
[Article contains additional citation context not shown here]
A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proc. of the 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), 2002.
TeMP: A Temporal Monodic Prover - Hustadt, Konev, Riazanov, Voronkov (2004) (Correct)
No context found.
A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proc. JELIA'02, volume 2424 of LNCS, pages 98--110. Springer, 2002.
Mechanising First-Order Temporal Resolution - Konev, Degtyarev, Dixon.. (2003) (Correct)
No context found.
A. Artale, E. Franconi, F. Wolter, M. Zakharyaschev, A temporal description logic for reasoning over conceptual schemas and queries, in: Proceedings of JELIA'02, Vol. 2424 of LNCS, Springer, 2002, pp. 98--110.
Towards the Implementation of First-Order Temporal.. - Expanding Domain Case (Correct)
No context found.
A. Artale, E. Franconi, F. Wolter, and M. Zakharyaschev. A temporal description logic for reasoning over conceptual schemas and queries. In Proceedings of JELIA'02, volume 2424 of Lecture Notes in Computer Science, pages 98--110. Springer, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC