Results 1 - 10
of
18
Description Logics in Data Management
, 1995
"... Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information serve ..."
Abstract
-
Cited by 174 (12 self)
- Add to MetaCart
Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations -- each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.
Decidable reasoning in terminological knowledge representation systems
- Journal of Artificial Intelligence Research
, 1993
"... Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs. ..."
Abstract
-
Cited by 171 (11 self)
- Add to MetaCart
Terminological Knowledge Representation Systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). The TKRS we consider in this paper is of practical interest since it goes beyond the capabilities of presently available TKRSs. First, our TKRS is equipped with a highly expressive concept, language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, it allows one to express inclusion statements between general concepts, in particular to express terminological cycles. We provide a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases based on the general technique of constraint systems.
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
- Journal of Artificial Intelligence Research
, 1994
"... This paper analyzes the correctness of the subsumption algorithm used in classic, a description logic-based knowledge representation system that is being used in practical applications. In order to deal efficiently with individuals in classic descriptions, the developers have had to use an algori ..."
Abstract
-
Cited by 155 (14 self)
- Add to MetaCart
This paper analyzes the correctness of the subsumption algorithm used in classic, a description logic-based knowledge representation system that is being used in practical applications. In order to deal efficiently with individuals in classic descriptions, the developers have had to use an algorithm that is incomplete with respect to the standard, model-theoretic semantics for description logics. We provide a variant semantics for descriptions with respect to which the current implementation is complete, and which can be independently motivated. The soundness and completeness of the polynomial-time subsumption algorithm is established using description graphs, which are an abstracted version of the implementation structures used in classic, and are of independent interest. 1. Introduction to Description Logics Data and knowledge bases are models of some part of the natural world. Such models are often built from individual objects that are inter-related by relationships and g...
Reasoning with Individuals in Concept Languages
- Data and Knowledge Engineering
, 1994
"... One of the main characteristics of knowledge representation systems based on the description of concepts is the clear distinction between terminological and assertional knowledge. Although this characteristic leads to several computational and representational advantages, it usually limits the expre ..."
Abstract
-
Cited by 70 (2 self)
- Add to MetaCart
One of the main characteristics of knowledge representation systems based on the description of concepts is the clear distinction between terminological and assertional knowledge. Although this characteristic leads to several computational and representational advantages, it usually limits the expressive power of the system. For this reason, some attempts have been done, allowing for a limited form of amalgamation between the two components and a more complex interaction between them. In particular, one of these attempts is based on letting the individuals to be referenced in the concept expressions. This is generally performed by admitting a constructor for building a concept from a set of enumerated individuals. In this paper we investigate on the consequences of introducing constructors of this type in the concept description language. We also provide a complete reasoning procedure to deal with these constructors and we obtain some complexity results on it. 1 Introduction The ide...
Subsumption between Queries to Object-Oriented Databases
, 1994
"... Most work on query optimization in relational and object-oriented databases has concentrated on tuning algebraic expressions and the physical access to the database contents. The attention to semantic query optimization, however, has been restricted due to its inherent complexity. We take a second l ..."
Abstract
-
Cited by 66 (8 self)
- Add to MetaCart
Most work on query optimization in relational and object-oriented databases has concentrated on tuning algebraic expressions and the physical access to the database contents. The attention to semantic query optimization, however, has been restricted due to its inherent complexity. We take a second look at the problem for queries in object-oriented databases and find that reasoning techniques for concept languages developed in Artificial Intelligence apply for the following reasons: concept languages have been tailored for efficiency and their semantics is compatible with class and query definitions in object-oriented databases. We propose a query optimizer which decides subset relationships between a query and a view (a simpler query whose answer is stored) in polynomial time. This work was supported in part by the Commission of the European Communities under ESPRIT Basic Research Action 6810 (Compulog 2), by the German Ministry of Research and Technology under grant ITW 92-01 (TACOS...
M.: Answering queries using views over description logics knowledge bases
- In: Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI 2000
, 2000
"... Answering queries using views amounts to computing the answer to a query having information only on the extension of a set of precomputed queries (views). This problem is relevant in several fields, such as information integration, query optimization, and data warehousing, and has been studied recen ..."
Abstract
-
Cited by 57 (27 self)
- Add to MetaCart
Answering queries using views amounts to computing the answer to a query having information only on the extension of a set of precomputed queries (views). This problem is relevant in several fields, such as information integration, query optimization, and data warehousing, and has been studied recently in different settings. In this paper we address answering queries using views in a setting where intensional knowledge about the domain is represented using a very expressive Description Logic equipped with n-ary relations, and queries are nonrecursive datalog queries whose predicates are the concepts and relations that appear in the Description Logic knowledge base. We study the problem under different assumptions, namely, closed and open domain, and sound, complete, and exact information on view extensions. We show that under the closed domain assumption, in which the set of all objects in the knowledge base coincides with the set of objects stored in the views, answering queries using views is already intractable. We show also that under the open domain assumption the problem is decidable in double exponential time.
A Computational Account for a Description Logic of Time and Action
, 1994
"... A formal language for representing and reasoning about time and action is presented. We employ an action representation in the style of Allen, where an action is represented by describing the time course of events while the action occurs. In this sense, an action is defined by means of tempora ..."
Abstract
-
Cited by 31 (8 self)
- Add to MetaCart
A formal language for representing and reasoning about time and action is presented. We employ an action representation in the style of Allen, where an action is represented by describing the time course of events while the action occurs. In this sense, an action is defined by means of temporal constraints on the world states, which pertain to the action itself, and on other more elementary actions occurring over time. A distinction between action types and individual actions is supported by the formalism. Plans are seen as complex actions whose properties possibly change with time. The formal representation language used in this paper is a description logic, and it is provided with a well founded syntax, semantics and calculus. Algorithms for the subsumption and recognition tasks -- forming the basis for action management -- are provided. 1 INTRODUCTION The goal of this work is to investigate a formal framework that permits dealing with time, actions and plans in a...
M.: Description logics for information integration
- Computational Logic: Logic Programming and Beyond. LNCS
, 2002
"... Abstract. Information integration is the problem of combining the data residing at different, heterogeneous sources, and providing the user with a unified view of these data, called mediated schema. The mediated schema is therefore a reconciled view of the information, which can be queried by the us ..."
Abstract
-
Cited by 31 (4 self)
- Add to MetaCart
Abstract. Information integration is the problem of combining the data residing at different, heterogeneous sources, and providing the user with a unified view of these data, called mediated schema. The mediated schema is therefore a reconciled view of the information, which can be queried by the user. It is the task of the system to free the user from the knowledge on where data are, and how data are structured at the sources. In this chapter, we discuss data integration in general, and describe a logic-based approach to data integration. A logic of the Description Logics family is used to model the information managed by the integration system, to formulate queries posed to the system, and to perform several types of automated reasoning supporting both the modeling, and the query answering process. We focus, in particular, on a specific Description Logic, called DLR, specifically designed for database applications. In the chapter, we illustrate how DLR is used to model a mediated schema of an integration system, to specify the semantics of the data sources, and finally to support the query answering process by means of the associated reasoning methods. 1
Asking queries about frames
- In Proceedings of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR96
, 1996
"... Frame-based knowledge representation and reasoning systems typically provide procedural interfaces for asking about properties of individuals and concepts. We propose an alternative declarative approach that extends standard interface functionality by supporting selective viewing of components of co ..."
Abstract
-
Cited by 28 (6 self)
- Add to MetaCart
Frame-based knowledge representation and reasoning systems typically provide procedural interfaces for asking about properties of individuals and concepts. We propose an alternative declarative approach that extends standard interface functionality by supporting selective viewing of components of complex objects. Instead of just returning sets of individuals, our queries match concepts and ltered fragments of descriptions. The query language is an extended form of the language used to describe the knowledge-base contents, thus facilitating user training. In this paper, we describe a variety of possible semantics for answering queries in description logics. We investigate the algorithms required when answers are deduced by matching queries against a \structural normal form" of descriptions. As part of our approach, we introduce a useful re nement of the notion of structural subsumption. 1
Terminological Knowledge Representation System in a Process Engineering Application
, 1998
"... The aim of this project is to investigate what kind of terminological knowledge representation system (TKR-system) is able to support the modeling of huge chemical plants. In this highly complex modeling application, a TKR-system is the appropriate tool to serve as a user--database interface. What d ..."
Abstract
-
Cited by 26 (4 self)
- Add to MetaCart
The aim of this project is to investigate what kind of terminological knowledge representation system (TKR-system) is able to support the modeling of huge chemical plants. In this highly complex modeling application, a TKR-system is the appropriate tool to serve as a user--database interface. What distinguishes TKR-systems from database systems is their ability to infer implicit knowledge from the knowledge explicitly stored in a knowledge base. TKR-systems differ among other aspects in the concept language that can be used for the representation of the application relevant knowledge. On the other hand, different kinds of knowledge from different applications ask for different concept languages. This process modeling application asks for the consideration of new concept languages and even for new constructors of these languages. To aggravate the situation, the amount of time and space needed by the reasoning services of a TKR-system increases with its expressive power. Hence the choi...

