The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a "safeness" condition that limits the interaction between the DL-KB and the Datalog rules. Such a safe integration of Description Logics and Datalog provides for systems with decidable reasoning, at the price of a strong limitation in terms of expressive power. In this paper we define DL+log, a general framework for the integration of Description Logics and disjunctive Datalog. From the knowledge representation viewpoint, DL+log extends previous propo...
As applications of description logics proliferate, efficient reasoning with knowledge bases containi...
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and use...
Ontologies form the basis of the Semantic Web. Description Logics (DLs) are often the languages of c...
The integration of Description Logics and Datalog rules presents many semantic and computational pro...
Reasoning in systems integrating Description Logics (DL) ontologies and Datalog rules is a very hard...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Translations to (first-order) datalog have been used in a number of inferencing techniques for descr...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
We present an integrated system for knowledge representation, called AL-log, based on description lo...
Abstract. Translations to (first-order) datalog have been used in a number of inferencing techniques...
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge repr...
As applications of description logics proliferate, efficient reasoning with knowledge bases containi...
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and use...
Ontologies form the basis of the Semantic Web. Description Logics (DLs) are often the languages of c...
The integration of Description Logics and Datalog rules presents many semantic and computational pro...
Reasoning in systems integrating Description Logics (DL) ontologies and Datalog rules is a very hard...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
Translations to (first-order) datalog have been used in a number of inferencing techniques for descr...
Combining ontologies with rules has become a central topic in the Semantic Web. Bridging the discrep...
We present an integrated system for knowledge representation, called AL-log, based on description lo...
Abstract. Translations to (first-order) datalog have been used in a number of inferencing techniques...
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge repr...
As applications of description logics proliferate, efficient reasoning with knowledge bases containi...
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and use...
Ontologies form the basis of the Semantic Web. Description Logics (DLs) are often the languages of c...