F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation and Reasoning, chapter Reasoning in Description Logics, pages 193--238. Studies in Logic, Language and Information. CLSI Publications, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Computing Least Common Subsumers in Expressive Description Logics - Mantay (1999) (2 citations) (Correct)
....operator for the expressive description logics ALENR and ALQ. 1 Introduction Knowledge representation systems based on description logics have proven to be a useful means for representing the terminological knowledge of an application domain in a structured and formally well understood way [5]. In description logics, knowledge bases are formed out of concepts representing sets of individuals. Complex concepts are built out of atomic concepts and atomic roles (representing binary relations between individuals) using the concept constructors provided by the description logic language. ....
....dicult task can be circumvented since a knowledge base engineer will design the knowledge base in such a way that each knowledge base individual is an instance of named concepts of the 2 TBox. The third subtask has been subject to many investigations (see [8] for the description logic ALCQ and [5] for several other description logics) So far, LCS computation has only been possible for description logics with strongly limited expressivity. The main contribution of this report is the proposal of an LCS operator for the expressive description logics ALENR and ALQ consisting of the top ....
[Article contains additional citation context not shown here]
F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation, chapter Reasoning in Description Logics, pages 191-236. CSLI Publications, 1996.
Commonality-Based ABox Retrieval - Mantay (2000) (Correct)
....retrieval which we call commonality based ABox retrieval. 1 Introduction Terminological knowledge representation systems based on description logics have proven to be a useful means for representing the knowledge of an application domain in a structured and formally well understood way [2]. The knowledge base as part of a terminological knowledge representation Labor f ur K unstliche Intelligenz, Universit at Hamburg, Vogt K olln Stra e 30, D 22527 Hamburg, mantay informatik.uni hamburg.de 1 system usually consists of a terminological and an assertional component. The ....
F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation, chapter Reasoning in Description Logics, pages 191-236. CSLI Publications, 1996.
A Knowledge Representation System based on a Content Access .. - Sansonnet, Valencia (2000) (Correct)
....are defined recursively with other concepts, and thus can contain other intension extension couples. The extensions included in the definition of a concept are related to it by a part of relation [6] The part of structure of a view, 3 And that offer some equivamences with the description logics [1], and the conceptual graphs [7] 4 is represented as a tree. We can study several different part of relations [3] in a view, that lead us to colored trees. 2.2 A Syntax for the Views 2.2.1 Definitions A view is a software component corresponding to the basic granularity of our knowledge ....
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation, chapter Reasoning in Description Logics, pages 193--238. Studies in Logic. CSLI Publications, 1996.
Simplicial Representation for Description Logics Knowledge.. - Valencia, Sansonnet (2000) (Correct)
....in Description Logics We modeled the dialogical agents as description logics KBases, and de ned semantical heterogeneity between such agents 1 . Indeed, it appears that Description Logics (DL) are 1 Article submitted to IBERAMIA 2000. very well suited to model semantical heterogeneity problems [5], 10] It is already used into the query management eld [12] and we know that they are a good way to express incomplete information, and thus useful when used for querying unknown databases [3] A Problem of Adaptation In our study of semantical heterogeneity between description logics ....
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation, chapter Reasoning in Description Logics, pages 193238. Studies in Logic. CSLI Publications, 1996.
Supporting Software Evolution with Intentional Software Views - Mens, Mens, Wermelinger (2002) (1 citation) (Correct)
No context found.
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation and Reasoning, chapter Reasoning in Description Logics, pages 193--238. Studies in Logic, Language and Information. CLSI Publications, 1996.
Simplicial Complexes for Description Logics - Terminologies Erika Valencia (Correct)
No context found.
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation, chapter Reasoning in Description Logics, pages 193 238. Studies in Logic. CSLI Publications, 1996.
Supporting Software Evolution with Intentional Software Views - Mens, Mens, Wermelinger (2002) (1 citation) (Correct)
No context found.
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Principles of Knowledge Representation and Reasoning, chapter Reasoning in Description Logics, pages 193--238. Studies in Logic, Language and Information. CLSI Publications, 1996.
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