Albrecht Schmiedel. A temporal terminological logic. In Proceedings of AAAI-90, 8th Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, MA, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....intended for dealing with temporal conceptual knowledge. In other words, TDLs combine the ability of description logics (DLs) to represent and reason about conceptual knowledge with the ability of temporal logics (TLs) to reason about time. A dozen TDLs designed in the last decade (see e.g. [14, 13, 2, 19, 3, 10] and survey [1] showed that the equation TDL = DL TL may have di erent, often very complex solutions, partly because of the rich choice of DLs and TLs, but primarily because of principle diculties in combining systems; see [7] With rare exceptions, the work so far has been concentrated on ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Articial Intelligence, pages 640-645, Boston, 1990.

....intended for dealing with temporal conceptual knowledge. In other words, TDLs combine the ability of description logics (DLs) to represent and reason about conceptual knowledge with the ability of temporal logics (TLs) to reason about time. A dozen TDLs designed in the last decade (see e.g. [15, 14, 2, 20, 3, 10] and survey [1] showed that the equation TDL = DL TL may have di erent, often very complex solutions, partly because of the rich choice of DLs and TLs, but primarily because of principle diculties in combining systems; see [7] With rare exceptions, the work so far has been concentrated on ....

A. Schmiedel. A temporal terminological logic. In Proceedings AAAI'90, pp. 640{ 645, 1990.

.... reasoning mechanisms for the DL and TL components to produce a terminating sound, complete, and implementable algorithm for their TD hybrid 1 Several different solutions to the former question have been suggested in the past decade starting from the undecidable interval based TDL of Schmiedel [13] to more recent well behaved TDLs of [19, 8] see [1] for a survey. Unfortunately, much less is known about combinations of reasoning procedures. Schild [12] constructed a combination of (an extension of) the basic description logic ALC and propositional temporal logic PTL by allowing ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

.... reasoning mechanisms for the DL and TL components to produce a terminating sound, complete, and implementable algorithm for their TD hybrid 1 Several di erent solutions to the former question have been suggested in the past decade starting from the undecidable interval based TDL of Schmiedel [13] to more recent well behaved TDLs of [19, 8] see [1] for a survey. Unfortunately, much less is known about combinations of reasoning procedures. Schild [12] constructed a combination of (an extension of) the basic description logic ALC and propositional temporal logic PTL by allowing ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Articial Intelligence, pages 640-645, Boston, 1990.

.... reasoning mechanisms for the DL and TL components to produce a terminating sound, complete, and implementable algorithm for their TD hybrid 1 Several different solutions to the former question have been suggested in the past decade starting from the undecidable interval based TDL of Schmiedel [13] to more recent well behaved TDLs of [19, 8] see [1] for a survey. Unfortunately, much less is known about combinations of reasoning procedures. Schild [12] constructed a combination of (an extension of) the basic description logic ALC and propositional temporal logic PTL by allowing ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....events: if they occur over an interval of time t, then they do not occur over a subinterval of t, as they would not yet be completed. 2 The Temporal Language We describe a simple description logic to represent classes of individuals and their temporal relations related work can be found in [ Schmiedel,1990; Weida and Litman,1992; Bettini,1992 ] This extends with the homogeneity operator the language presented in [ Artale and Franconi,1994a; 1994b; 1993; Artale,1994 ] For sake of simplicity, the language presented here does not include complex concept forming operators, like disjunction and ....

Schmiedel, A. 1990. A temporal terminological logic. In Proc. of AAAI-90, Boston, MA. 640-645.

....or may overlap in time; e ects of overlapping actions can be di erent from the sum of their individual e ects; e ects may not follow the action but more complex temporal relations may hold. Starting from a formal language able to express temporally related objects inspired by the work of [ Schmiedel,1990 ] actions are represented through temporal constraints on the world states, which pertain to the action itself, like in [ Allen,1991 ] With respect to [ Allen,1991 ] our formalism has a clear distinction between the language for expressing action types (the conceptual level) and the ....

A. Schmiedel. A temporal terminological logic. In Proc. of AAAI-90, pages 640-645, Boston, MA, 1990.

....with an explicit interval based notion of time following the external approach. The resulting logics are the combination of a static DL with a temporal logic. These logics have in the interval based temporal logics introduced by [28] their natural ancestor. 4.1. Schmiedel s Formalism Schmiedel [42] was the rst to propose an extension of Description Logics with an interval based temporal logic. The underlying Description Logic is the pre x version of the FLENR language 3 [20] while the new term forming operators are the temporal quali er at, the existential and universal temporal quanti ....

....complexity classes. In particular, it remains an open problem whether reasoning in the language T B, as presented by Schmiedel, is decidable. 4.3. Towards Decidable Logics Artale and Franconi [2,3] consider a class of interval based temporal Description Logics by reducing the expressivity of [42]. While Schmiedel s work lacks of a computational machinery, and Halpern and Shoham s logic is undecidable, Artale and Franconi present di erent decidable logics, providing for them sound, complete and terminating reasoning algorithms. The most expressive language, TL ALCF , is presented here. ....

A. Schmiedel, A temporal terminological logic, in Proc. of AAAI-90, pages 640-645, Boston, MA, 1990.

....languages for objects and states representation, for time representation, for actions representation, and for plans representation. The basic temporal language we propose is a concept language [ Nebel, 1990 ] i.e. a description logic of the KL One family 1 , and it is inspired by the work of [ Schmiedel, 1990 ] The use of a concept language to represent directly action and plan descriptions allows us to exploit the ideas developed in the concept languages family, like procedures for subsumption, classification and instance recognition [ Hollunder et al. 1990; Nebel, 1990 ] In this paper we present ....

.... with both existential and universal temporal quantification; Devanbu and Litman, 1991 ] and [ Weida and Litman, 1992 ] and recently [ Weida and Litman, 1994 ] propose a loose hybrid integration between concept languages and respectively regular expressions and constraint networks; Schmiedel, 1990 ] proposes a very expressive but undecidable language with variables and temporal quantifiers; Schild, 1993 ] proposes the embedding of point based tense operators in a propositionally closed concept language his ideas have been applied in the BACK terminological representation system; ....

[Article contains additional citation context not shown here]

A. Schmiedel. A temporal terminological logic. In Proc. of AAAI-90, pages 640--645, Boston, MA, 1990.

....language processing community. Prototypical knowledge for prediction in natural language understanding [7] belief representation for user modeling in a multi agent dialog [2] reasoning about sets to handle conjunctions, plurals and natural quanti ers [1] reasoning about time relations [12] [10] are some aspects that we have taken into consideration. We are also exploring the possibility of reasoning in a coherent way with procedural attachments (following Classic) and production rules [14] and of using Weyhrauch s FOL system as an alternative ABox [4] Within the framework of a ....

Albrecht Schmiedel. A Temporal Terminological Logic. Proceedings of AAAI-90, Boston MA (1990)

....allowed: effects of overlapping actions can be different from the sum of their individual effects; effects may not directly follow the action but more complex temporal relations may hold. An interval temporal logics is presented based on description logics and inspired by the works of Schmiedel (Schmiedel, 1990) and of Weida and Litman (Weida Litman, 1992) Advantages of using description logics are their high expressivity combined with desirable computational properties such as decidability, soundness and completeness of reasoning procedures (Buchheit, Donini, Schaerf, 1993; Schaerf, 1994; Donini ....

Schmiedel, A. (1990). A temporal terminological logic. In Proc. of AAAI-90, pp. 640--645 Boston, MA.

....terminological logic with time, we observe that the idea of temporal concept requires some analysis. On the one hand, a concept may be time dependent in its extension, i.e. the set of objects satisfying its definition is different at different times. This is the case usually dealt with (e.g. [Sch90]) and it seems to be in some way a first or more immediate case. A concept may also be time dependent in its definition, whereby we mean that an object is included in or excluded from the concept extension depending on which development the object shows. For instance, the concept ....

....of (legally) adult may change by decreasing the required age. This kind of development is probably even more difficult to deal with within terminological logic, since for one thing, it means that subsumption relationships change. In our study here we use the same base concept language as [Sch90], which formally is a subset of most current terminological logics. However while the focus in [Sch90] is on the ability to express extensional concept changes by using explicit time references, we focus on using more implicit temporal qualifications for object selection in the sense of ....

[Article contains additional citation context not shown here]

Schmiedel, A., 'A Temporal Terminological Logic', in Proceedings of the National Conference on Artificial Intelligence - AAAI90, pp 640-645, 1990.

....IEEE. 8 Terminological reasoning with compositions of concepts has been exploited for production systems by [22] which introduced a subsumption algorithm we later adapted for t rex. Along a different line, Schmiedel proposed to incorporate a very rich temporal logic directly within a tkr language [16]. t rex extends the scope of tkr by computing subsumption among QME constraint networks, collections of tkr concepts related by qualitative temporal, metric temporal, and role equality constraints. t rex integrates and builds on existing systems for tkr [15, 4] and temporal reasoning [13] to ....

A. Schmiedel. A temporal terminological logic. In AAAI90, pages 640--645, Boston, MA, 1990.

....natural to extend it by the corresponding modal operators and thereby keep its propositional modal status. It is known, however, that combinations of rather simple modal systems may result in very complex ones (see e.g. 21, 15] The first temporal and epistemic description logics constructed in [19, 17, 10] were either too expressive and consequently undecidable or too weak (the temporal operators were applicable either only to formulas or only to concepts) A compromise was found by Baader and Laux [2] who combined the description logic ALC of [18] with polymodal K by allowing applications of modal ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....was shown by Baader and Ohlbach [ 1995 ] modal operators applicable to roles can ruin decidability. Our attempt to combine description and temporal logics is not the first one. Some ways of introducing a temporal dimension to description logics have already been investigated in the literature. Schmiedel [ 1990 ] proposed a very expressive temporal description logic based on intervals as introduced by Halpern and Shoham [ 1991 ] however, it turned out to be undecidable. Devanbu and Litman [ 1991 ] Weida and Litman [ 1992 ] Artale and Franconi [ 1994 ] continued this work by weakening Schmiedel s ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....by a mouse: the pointer moves because of the movement of the device on the pad # there is a cause e#ect relation # but the two events are contemporary, in the common sense notion of the word. A class of interval temporal logics is studied based on Description Logics and inspired by the works of Schmiedel #1990# and of Weida and Litman #1992#. In this class of formalisms a state describes a collection of properties of the world holding at a certain time. Actions are represented through temporal constraints on world states, which pertain to the action itself. Plans are built by temporally relating ....

....to reasoning with respect to a TBox or to reasoning involving expanded concepts with an empty TBox. In particular, while devising the subsumption calculus for the logics considered here, it is always assumed that all de#ned concepts have been expanded. 3. Towards a Temporal Description Logics Schmiedel #1990# proposed to extend Description Logics with an interval#based temporal logic. The temporal variant of the Description Logic is equipped with a model theoretic semantics. The underlying Description Logic is FLENR , #Donini et al. 1995#: it di#ers from ALCF in that it does not contain the # and ....

[Article contains additional citation context not shown here]

Schmiedel, A. #1990#. A temporal terminological logic. In Proc. of AAAI-90, pp. 640#645 Boston, MA.

....are allowed: e#ects of overlapping actions can be di#erent from the sum of their individual e#ects; e#ects may not directly follow the action but more complex temporal relations may hold. An interval temporal logics is presented based on description logics and inspired by the works of Schmiedel #Schmiedel, 1990# and of Weida and Litman #Weida Litman, 1992#. Advantages of using description logics are their high expressivity combined with desirable computational properties # such as decidability, soundness and completeness of reasoning procedures #Buchheit, Donini, Schaerf, 1993; Schaerf, 1994; Donini ....

Schmiedel, A. #1990#. A temporal terminological logic. In Proc. of AAAI-90, pp. 640#645 Boston, MA.

....designed to represent and reason about static and time independent domains. 1 They have been applied, for example, in the framework of information systems [11] databases [7, 9, 10] and software engineering [35] Temporalizations of this static formalism have been suggested and investigated in [2, 4, 5, 6, 25, 26, 32], consult also [3] for a survey. While on the syntactic side a temporalization adds temporal operators to the original vocabulary, on the semantic side it adds a new, temporal, dimension to the domain interpreting the original formalism. So, in a sense, it is rather easy to temporalize a given ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....is particularly hospitable to T REX since all of FAME s input and output is already done via presentation and acceptance of K Rep concepts. 8 RELATED WORK Our work in plan subsumption draws upon TKR [ Brachman and Schmolze, 1985 ] as well as Allen s temporal logic [ Allen, 1983 ] Schmiedel [ Schmiedel, 1990 ] has described an ambitious attempt to extend terminological logic with temporal semantics by integrating both Allen s temporal logic and Shoham s [ Shoham, 1987 ] Although he offers no algorithm, Schmiedel does suggest a few preliminary hints (his words) including a definition of ....

A. Schmiedel. A temporal terminological logic. In Proceedings of AAAI-90, pages 640-- 645, Boston, MA, 1990.

....the standard semantics. This happens, for instance, when one has to take into account various dynamic aspects of knowledge representation, like time , agent or action dependence of knowledge. Several approaches to the design of dynamic description logics were developed in the 1990s (see e.g. Schmiedel, 1990; Schild, 1993; Laux, 1994; Graber et al. 1995; Baader and Ohlbach, 1995; Baader and Laux, 1995; Donini et al. 1992; Wolter and Zakharyaschev, 1998c; Wolter and Zakharyaschev, 1998a; Wolter and Zakharyaschev, 1998b ] and all of them share one important feature: their models become ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....= i.e. a received mail has been put into the mailbox some time ago, John will always love the same woman, and John believes that sometime in the future everybody will love somebody. Several approaches to the design of dynamic description logics were developed in the 1990s (see e.g. Schmiedel, 1990; Schild, 1993; Baader and Ohlbach, 1995; Baader and Laux, 1995; Donini et al. 1992; Wolter and Zakharyaschev, 1998a; 1998b; 1998c ] and all of them share one important feature: their models become multi dimensional in the sense that besides the usual object dimension they may contain a time ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

....is natural to extend it by the corresponding modal operators and thereby keep its propositional modal status. It is known, however, that combinations of rather simple modal systems may result in very complex ones (see e.g. 18] The first temporal and epistemic description logics constructed in [16, 14, 9] were either too expressive and consequently undecidable or too weak (the temporal operators were applicable either only to formulas or only to concepts) A compromise was found by Baader and Laux [2] who combined the description logic ALC of [15] with polymodal K by allowing applications of modal ....

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

No context found.

Albrecht Schmiedel. A temporal terminological logic. In Proceedings of AAAI-90, 8th Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, MA, 1990.

No context found.

Schmiedel, A. A Temporal Terminological Logic, Proceedings of AAAI-90, pp 640645.

No context found.

A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pages 640--645, Boston, 1990.

First 50 documents

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