F. Baader and U. Sattler. Description Logics with Concrete Domains and Aggregation. Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 336-340, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....a workpiece with height 5cm and hight strictly greater than its length. Here, 5cm is a unary predicate from the concrete domain and is a binary predicate. The subconcept in brackets is a conjunction of two concrete domain concept constructors. Other DLs with concrete domains can be found in [3, 8, 12], while applications of such logics are described in [2, 8] In this paper, we are interested in the complexity of reasoning with Description Logics providing for concrete domains. The complexity of ALC(D) itself is determined in [14] where reasoning with ALC(D) is proved to be PSpace complete ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In Proc. of ECAI-98, Brighton, August 23-28, 1998. John Wiley & Sons, New York, 1998.

....that although some of the entities correspond to processes, other to stakeholders and other to data stores, this is not affecting the uniformity and the simplicity of the representation. Also, notice that we do not delve into the fields of conceptual multidimensional aggregation (for example, see [2]) or requirements engineering: the specific approach one can adopt is orthogonal to our modeling. Loading Cleaning Computation Aggregation Buffer Class info V1 CBL next next next INS INS INS in in in in out out out DEL out COMMIT COMMIT COMMIT Loading Cleaning Computation next ....

F. Baader, U. Sattler. Description Logics with Concrete Domains and Aggregation. In Proc. of the 13 th European Conf. on Artificial Intelligence (ECAI-98), pp. 336-340, Brighton, UK (1998).

....aggregation functions such as MIN, AVERAGE,orSUM. The reason for this comes from an important result of the research within the DWQ project which identifies the borders for the possible extensions of a Data Warehouse Conceptual Data Model towards the explicit inclusion of aggregation functions [Baader and Sattler, 1998] . 48 Figure 3: Schema Integration with i.com. 3 A Modelling Scenario As we have noticed before, conceptual modelling is a highly iterative process. We assume that we start with a (possible empty) partial schema and want to add some new information, that is, some additional objects or ....

Franz Baader and Ulrike Sattler. Description logics with concrete domains and aggregation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336--340, 1998.

....TBoxes in which the left hand sides of concept de nitions may be arbitrary concepts instead of just concept names [ 7; 15 ] However, we will see that admitting general TBoxes makes reasoning with ALC(D) and hence also ALCI(D) undecidable. We now de ne the semantics of ALCI(D) De nition 4 (Semantics) An interpretation I is a pair ( I ; I ) where I is a set called the domain and I the interpretation function. The interpretation function maps each concept name C to a subset C I of I , each role name R to a subset R I of I I , each abstract feature f ....

....of completeness. Let M = Q; q 0 ; Q f ) be a Turing Machine and x an input w for M . We now de ne the corresponding MPCP P M w = 1 ; r 1 ) k ; r k ) The rst pair ( 1 ; r 1 ) is de ned as 1 : r 1 : q 0 w] The set of remaining pairs ( i ; r i ) is partitioned into 4 groups and can be found in Figure 1. As stated by Hopcroft and Ullman, if P M w has a solution, then this solution corresponds to a word starting with ]q 0 w]u 1 q 1 v 1 ] u n q n v n , where subwords between successive ] s are successive IDs in a computation of M with input w and q n is ....

[Article contains additional citation context not shown here]

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Articial Intelligence ECAI-98, Brighton, August 23-28, 1998. John Wiley & Sons, New York, 1998.

....general sense) then we should be very conservative. The reason for this comes from an important result of the research within the DWQ project which identifies the borders for the possible extensions of a Data Warehouse Conceptual Data Model towards the explicit inclusion of aggregation functions [Baader and Sattler, 1998]. It has turned out that the explicit presence of aggregation functions, when viewed as a means to define new attribute values for aggregated entities, and built in predicates in a concrete domain increases the expressive power of the basic conceptual model in such a way that all interesting ....

Baader, Franz and Sattler, Ulrike 1998. Description logics with concrete domains and aggregation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). 336--340.

....Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report Enrico Franconi Dept. of Computer Science, Univ. of Manchester Manchester M13 9PL, UK franconi cs.man.ac. uk Ulrike Sattler RWTH, LuFG Theoretical Computer Science D 52074 Aachen, Germany uli cantor.Informatik.rwth aachen.de ABSTRACT This paper presents a proposal for a Data Warehouse Conceptual Data Model which allows for the description of both the relevant aggregated entities of the domain together with ....

....without explicit aggregation functions. # the #nal language should be implementable with the current technology. In particular, we refer to the current academic implementations of expressive Description Logics, namely the system FaCT #Horrocks, 1997#. It has been recently argued #Horrocks and Sattler, 1999# that the logic we are considering here allows for the implementation of sound and complete reasoning algorithms that should behave quite well in realistic applications. Next, we will sketch the relationships between the ALCFI Description Logic and Entity Relationship, Object Oriented, ....

[Article contains additional citation context not shown here]

Sattler. Description logics with concrete domains and aggregation. In Proceedings of the 13th European ConferenceonArti#cial Intelligence #ECAI-98#, pages 336#340, 1998.

....include all kinds of numerical data as well as temporal and spatial information. Important application areas which have been found to depend on integrated reasoning with concrete knowledge are, e.g. mechanical engineering [Baader and Hanschke, 1993] reasoning about aggregation in databases [Baader and Sattler, 1998] , as well as temporal and spatial reasoning (see [Haarslev et al. 1998] and [Lutz, 1998] Many description logic systems such as e.g. CLASSIC and #### (see [Borgida et al. 1989] Baader and Hollunder, 1991] resp. provide interfaces that allow the attachment of external reasoning ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In Henri Prade, editor, Proc. of ECAI-98, Brighton, August 23--28, 1998. John Wiley & Sons, New York, 1998.

....general sense) then we should be very conservative. The reason for this comes from an important result of the research within the DWQ project which identifies the borders for the possible extensions of a Data Warehouse Conceptual Data Model towards the explicit inclusion of aggregation functions [Baader and Sattler, 1998] . It has turned out that the explicit presence of aggregation functions, when viewed as a means to define new attribute values for aggregated entities, and built in predicates in a concrete domain increases the expressive power of the basic conceptual model in such a way that all interesting ....

Baader, Franz and Sattler, Ulrike 1998. Description logics with concrete domains and aggregation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98). 336--340.

....of such concrete knowledge include all kinds of numerical data as well as temporal and spatial information. Important application areas which have been found to depend on integrated reasoning with concrete knowledge are, e.g. mechanical engineering [7] reasoning about aggregation in databases [10], reasoning with physical laws [21] as well as temporal and spatial reasoning (see [16] and [24] Description logic systems like, e.g. Classic, KRIS , and Taxon (see [11] 8] and [2] resp. provide more or less elaborated interfaces that allow the attachment of external reasoning facilities ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Artificial Intelligence ECAI-98, Brighton, August 23--28, 1998. John Wiley & Sons, New York, 1998.

....arc8 cannot relate role llers at di erent levels of the quanti cation. For example the representation of the set of people with more grandchildren than children requires an expression like jhas child; has childj jhas childj or a kind of aggregation functions which can lead to undecidability [5]. 6 Concept Formulae with Existential Quanti ers The existential quanti er 9 r: postulates the existence of an r role ller in the concept . As already mentioned, this quanti er is de nable in our language: 9 r: 9r 0 (r 0 ) r) jr 0 j 1 8 r 0 : Therefore a language DL arc89 ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the 13th European Conference on Articial Intelligence (ECAI-98), pages 336-340. John Wiley & Sons Ltd, 1998.

....include all kinds of numerical data as well as temporal and spatial information. Important application areas which have been found to depend on integrated reasoning with concrete knowledge are, e.g. mechanical engineering [Baader and Hanschke, 1993] reasoning about aggregation in databases [Baader and Sattler, 1998] , as well as temporal and spatial reasoning (see [Haarslev et al. 1998] and [Lutz, 1998] Many description logic systems such as e.g. CLASSIC and KRIS (see [Borgida et al. 1989] Baader and Hollunder, 1991] resp. provide interfaces that allow the attachment of external reasoning ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In Henri Prade, editor, Proc. of ECAI-98, Brighton, August 23--28, 1998. John Wiley & Sons, New York, 1998.

....of such concrete knowledge include all kinds of numerical data as well as temporal and spatial information. Important application areas which have been found to depend on integrated reasoning with concrete knowledge are, e.g. mechanical engineering [7] reasoning about aggregation in databases [10], reasoning with physical laws [21] as well as temporal and spatial reasoning (see [16] and [24] Description logic systems like, e.g. Classic, KRIS , and Taxon (see [11] 8] and [2] resp. provide more or less elaborated interfaces that allow the attachment of external reasoning facilities ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Articial Intelligence ECAI-98, Brighton, August 23-28, 1998. John Wiley & Sons, New York, 1998.

....satisfiability of the conjunction c# v#v # = v, v # )# v##v # #= v, v # ) return clash if it is unsatisfiable and otherwise. The rather weak condition that an equality predicate should be present is satisfied by almost all concrete domains proposed in the literature, see e.g. [38, 4, 34, 22, 9]. Throughout this chapter, we assume that any concrete domain is equipped with an equality predicate. This can we done w.l.o.g. since any using equality can be translated into an equivalent one without equality by identifying variables according to the stated equalities. This assumption must ....

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98), pages 336--340. John Wiley & Sons, 1998.

....to its components, and how the components are glued together to form an aggregate. An important result of the research within the DWQ project identifies the borders for the possible extensions of a Data Warehouse Conceptual Data Model towards the explicit inclusion of aggregation functions [Baader and Sattler, 1998]. It has turned out that the explicit presence of arbitrary aggregation functions, when viewed as a means to define new attribute values for aggregated entities, and built in predicates in a concrete domain increases the expressive power of the basic conceptual model in such a way that all ....

Franz Baader and Ulrike Sattler. Description logics with concrete domains and aggregation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336--340, 1998.

No context found.

F. Baader and U. Sattler. Description Logics with Concrete Domains and Aggregation. Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 336-340, 1998.

No context found.

Baader, F., Sattler, U.: Description Logics with Concrete Domains and Aggregation. In Prade, H., ed.: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), John Wiley & Sons Ltd (1998) 336--340

No context found.

Baader, F., Sattler, U.: Description Logics with Concrete Domains and Aggregation. In Prade, H., ed.: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), John Wiley & Sons Ltd (1998) 336--340

No context found.

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In Proeedings of the European Conference on Artificial Intelligence, pages 336--340, 1998.

No context found.

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In Proc. of the European Conference on Artificial Intelligence, pages 336--340, 1998.

No context found.

Franz Baader and Ulrike Sattler. Description logics with concrete domains and aggregation. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336--340, 1998.

No context found.

F. Baader and U. Sattler. Description Logics with Concrete Domains and Aggregation. In Proceedings of the  European Conference on Artificial Intelligence (ECAI '98), pages 336--340, Brighton, UK, 1998.

No context found.

F. Baader and U. Sattler. Description logics with concrete domains and aggregation. In H. Prade, editor, Proc. of the 13th European Conference on Artificial Intelligence, pages 336--340. John Wiley & Sons Ltd, 1998.

No context found.

F. Baader and U. Sattler. Description Logics with Concrete Domains and Aggregation. In Proceedings of the 4532 European Conference on Artificial Intelligence (ECAI '98), pages 336--340, Brighton, UK, 1998.

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