Giuseppe De Giacomo and Maurizio Lenzerini. A uniform framework for concept definitions in description logics. Journal of Artificial Intelligence Research, 6:87-- 110, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Representation of Temporal Items of the Diagnostic.. - Spreckelsen, Spitzer (1998) (Correct)
....to define a situation, may refer to other situations. This reflects the possibility to formulate nested standard predications in the Time Standards. It is feasible to define a formal semantics for non cycle free terminologies (see the seminal paper of Nebel [10] and to check subsumption ( 3] [7]) Cycles increase the complexity of reasoning (EXPTIMEcomplete vs. PSPACE complete in the case of ALC ) Nevertheless: cycles do not appear in DSM IV concept definitions of temporal patterns except for these abstract generic concepts. If satisfiability constraints with respect to the generic ....
De Giacomo, G., Lenzerini, M.: A Uniform Framework for Concept Definitions in Description Logics. Journal of Artificial Intelligence Research 6 (1997) 87-110.
Multi-Agent Coordination of Distributed Event Data Processing - Koch, Petta (2000) (1 citation) (Correct)
....consecutive event indexes are increasing by one. Apart from the fact that this can be seen as an inelegant solution, such an approach does not work in general, and it does not allow us to define constraints between streams. Description Logics have been extended to support transitive roles (e.g. [8] or [11] which allows to describe streams. Reasoning with these logics has high computational complexity (at least PSPACE completeness) and it does not allow to deal with integers or orderings. Temporal description logics like T L Gamma ALCF [1] allow to describe relationships such as ....
De Giacomo, G., Lenzerini, M.: "A Uniform Framework for Concept Definitions in Description Logics", Journal of Artificial Intelligence Research (JAIR) 6:87-110 (1997).
Multi-Agent Coordination of Distributed Event Data Processing - Koch, Petta (2000) (1 citation) (Correct)
....consecutive event indexes are increasing by one. Apart from the fact that this can be seen as an inelegant solution, such an approach does not work in general, and it does not allow us to define constraints between streams. Description Logics have been extended to support transitive roles (e.g. [9] or [12] which allows to describe streams. Reasoning with these logics has high computational complexity (at least PSPACE completeness) and it does not allow to deal with integers or orderings. Temporal description logics like 8 [1] allow to describe relationships such as orderings ....
De Giacomo, G., Lenzerini, M.: "A Uniform Framework for Concept Definitions in Description Logics". Journal of Artificial Intelligence Research (JAIR) 6:87--110 (1997).
A Uniform Approach to Inter-Model Transformations - McBrien, Poulovassilis (1999) (10 citations) (Correct)
....We define a small set of primitive transformation operations on schemas expressed in the HDM. Higher level modelling languages are handled by defining their constructs 2 P.J. M c . Brien and A. Poulovassilis and transformations in terms of those of the HDM. In common with description logics [5, 6] we can form a union of different modelling languages to model a certain UoD. However, our approach has the advantage that it clearly separates the modelling of data structure from the modelling of constraints on the data. We note also that our HDM differs from graph based conceptual modelling ....
G. DeGiacomo and M. Lenzerini. A uniform framework for concept definitions in description logics. Journal of Artificial Intelligence Research, 6, 1997.
Description Logics: Modal Logics for Class-Based Modeling - De Giacomo Self-citation (De giacomo) (Correct)
....that 2 We use the term Propositional Dynamic Logics in a slightly more general sense then usual, so as to include the basic multimodal logic K i , and modal mu calculus. 3 CF [53] CI [41, 53] ALC [40, 19, 54] C [53] ALC [39, 35, 55] CIF [18] CIQ ABox [23] CIF ABox [23] CIQ [22] ALCQ [24] ALCF [24] ALCIF [59, 15] ALCIQ [15] DLR [15] DLR ABox [14] CIO [17] CFO [17] DLR [14] CVL [13] CAT S [21] Figure 1: Description Logics derived from the correspondence 4 even if no role constructs are present, ALC is actually an extension of C, since all concepts denotable in C are ....
....2 We use the term Propositional Dynamic Logics in a slightly more general sense then usual, so as to include the basic multimodal logic K i , and modal mu calculus. 3 CF [53] CI [41, 53] ALC [40, 19, 54] C [53] ALC [39, 35, 55] CIF [18] CIQ ABox [23] CIF ABox [23] CIQ [22] ALCQ [24] ALCF [24] ALCIF [59, 15] ALCIQ [15] DLR [15] DLR ABox [14] CIO [17] CFO [17] DLR [14] CVL [13] CAT S [21] Figure 1: Description Logics derived from the correspondence 4 even if no role constructs are present, ALC is actually an extension of C, since all concepts denotable in C are also ....
G. De Giacomo and M. Lenzerini. A uniform framework for concept definitions in description logics. J. of Artificial Intelligence Research, 6:87--110, 1997.
Formal Operations for Ontology Evolution - Sindt (Correct)
No context found.
Giuseppe De Giacomo and Maurizio Lenzerini. A uniform framework for concept definitions in description logics. Journal of Artificial Intelligence Research, 6:87-- 110, 1997.
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