Filters








467 Hits in 3.6 sec

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs [chapter]

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 Lecture Notes in Computer Science  
ECLPs are useful to reason with both ontological and rule-based knowledge, which is illustrated by simulating reasoning in an expressive description logic (DL) equipped with DL-safe rules.  ...  We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming.  ...  Conclusions and Directions for Further Research We extended CLPs with a finite set of arbitrary ground DLP rules, and showed that reasoning with the resulting ECLPs can be reduced to finite answer set  ... 
doi:10.1007/11431053_27 fatcat:q6wev733pjhv7inota6sv6pmyy

Preface for the special issue on Ontologies and Logic Programming for Query Answering

Odile Papini, Salem Benferhat
2018 Annals of Mathematics and Artificial Intelligence  
-Nonmonotonic reasoning that deals with inconsistencies and exceptions in ontologies.  ...  This special issue collects fully revised and extended versions of contributions presented at the international workshop Ontologies and Logic Programming for Query Answering (ONTOLP 2015) affiliated with  ...  -Nonmonotonic reasoning that deals with inconsistencies and exceptions in ontologies.  ... 
doi:10.1007/s10472-018-9580-3 fatcat:se44nmynsrgppe6m5qpbppj4by

The Web Service Modeling Language WSML: An Overview [chapter]

Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel
2006 Lecture Notes in Computer Science  
This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering.  ...  WSML distinguishes between conceptual and logical modeling in order to support users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user  ...  Acknowledgments We would like to thank all members of the WSML working group, especially Eyal Oren and Rubén Lara, for their comments and input to this document.  ... 
doi:10.1007/11762256_43 fatcat:ae5ffg45lffhzjmgcwfjzhnxz4

Reasoning with Rules and Ontologies [chapter]

Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits
2006 Lecture Notes in Computer Science  
We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set  ...  We will briefly discuss open issues in combining rules and ontologies, and survey some existing proposals to facilitate reasoning with rules and ontologies.  ...  of rule languages relevant for the integration of rules and ontologies are those originating from logic programming and nonmonotonic reasoning, in particular languages which are based on the answer-set  ... 
doi:10.1007/11837787_4 fatcat:mihezlblwrhopbwjc6dhfelghi

On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules [chapter]

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
2006 Lecture Notes in Computer Science  
Existing approaches such as SWRL, dl-programs, and DL+log, differ significantly in the way ontologies interact with (nonmonotonic) rules bases.  ...  rule languages rooted in logic programming is receiving considerable attention.  ...  [HNV05] uses extended conceptual logic programs to reason with expressive description logics combined with DL-safe rules.  ... 
doi:10.1007/11811220_1 fatcat:p3kdmphjz5hhtotgthfuvdofv4

Default Reasoning over Domains and Concept Hierarchies [chapter]

Pascal Hitzler
2004 Lecture Notes in Computer Science  
We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which encompasses answer set programming with extended  ...  Together, we obtain a default reasoning paradigm for conceptual knowledge which is in accordance with mainstream developments in nonmonotonic reasoning.  ...  [31] , and as nonmonotonic reasoning with ontologies, e.g. [32, 33] .  ... 
doi:10.1007/978-3-540-30221-6_27 fatcat:3hjbyv545jhrbfkmpl5da5kxfe

On the decidability and complexity of integrating ontologies and rules

R ROSATI
2005 Journal of Web Semantics  
We define the formal framework of r-hybrid knowledge bases (KBs) integrating ontologies and rules. A r-hybrid KB has a structural component (ontology) and a rule component.  ...  it consists of a Datalog ¬∨ program, i.e., a Datalog program with negation as failure and disjunction.  ...  Acknowledgments The author wishes to thank Diego Calvanese, Maurizio Lenzerini and Daniele Nardi for helpful discussions on this topic.  ... 
doi:10.1016/j.websem.2005.05.002 fatcat:w5mk6euzbjfwhcmjqdwa3zk4py

Default reasoning over domains and concept hierarchies [article]

Pascal Hitzler
2004 arXiv   pre-print
We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which encompasses answer set programming with extended  ...  Together, we obtain a default reasoning paradigm for conceptual knowledge which is in accordance with mainstream developments in nonmonotonic reasoning.  ...  [31] , and as nonmonotonic reasoning with ontologies, e.g. [32, 33] .  ... 
arXiv:cs/0409002v1 fatcat:da6xza4pr5c5hjukkz4pjoa64i

Integrating Description Logics and Answer Set Programming [chapter]

Stijn Heymans, Dirk Vermeir
2003 Lecture Notes in Computer Science  
The extended language, conceptual logic programming (CLP) proves to be a viable alternative for intuitively representing and reasoning nonmonotonically, in a decidable way, with possibly infinite knowledge  ...  Not only can conceptual logic programs (CLPs) simulate finite answer set programming, they are also flexible enough to simulate reasoning in an expressive class of description logics, thus being able to  ...  a preference order on rules, thus introducing another source for nonmonotonic reasoning [12] , which would be useful for resolving conflicts resulting from the integration of knowledge from different  ... 
doi:10.1007/978-3-540-24572-8_10 fatcat:poaqc5ie55fgdc3k3k3ga6lhfi

Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules [chapter]

Riccardo Rosati
2005 Lecture Notes in Computer Science  
Both semantic and computational issues arise when extending DLs with rule-based components.  ...  In particular, integrating DLs with nonmonotonic rules requires to properly deal with two semantic discrepancies: (a) DLs are based on the Open World Assumption, while rules are based on (various forms  ...  Practically all the approaches in this field concern the study of description logic knowledge bases augmented with rules expressed in Datalog (and its nonmonotonic extensions).  ... 
doi:10.1007/11552222_6 fatcat:ci3fsawavrcqfldwc52a7ytvim

Integrating Ontologies and Rules: Semantic and Computational Issues [chapter]

Riccardo Rosati
2006 Lecture Notes in Computer Science  
In particular, we take into account ontologies expressed in Description Logics and rules expressed in Datalog (and its nonmonotonic extensions).  ...  and a rule component is very hard to handle, and does not preserve decidability and computational properties: e.g., starting from an ontology in which reasoning is decidable and a rule base in which reasoning  ...  A special acknowledgment goes to some of the (present and former) members of the Artificial Intelligence research group and the Data and Knowledge Bases research group at the Dipartimento di Informatica  ... 
doi:10.1007/11837787_5 fatcat:yq2djlkxnvctfkhhmfsnaiazxe

Exploiting conjunctive queries in description logic programs

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer
2008 Annals of Mathematics and Artificial Intelligence  
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well  ...  And second, this combination of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner, by exploiting (U)CQ facilities of the DL-reasoner.  ...  To our knowledge, this is currently the only implemented system for such a coupling of nonmonotonic logic programs and Description Logics.  ... 
doi:10.1007/s10472-009-9111-3 fatcat:giussqfoizhrdlaaibwiysgeha

Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules

GIORGIO ORSI, LETIZIA TANCA
2010 Theory and Practice of Logic Programming  
Logic has been a common ground where Database and Artificial Intelligence research competed and collaborated with each other for a long time (Abiteboulet al. 1995).  ...  Much has happened in data and knowledge base research since the introduction of the relational model in Codd (1970) and its strong logical foundations influence its advances ever since.  ...  and its extensions, along with many related implementations and applications.  ... 
doi:10.1017/s1471068410000086 fatcat:2zi7w5eejvanpknuncdy6qmw2e

Realizing Default Logic over Description Logic Knowledge Bases [chapter]

Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
To this end, we present elegant transformations from default theories to conjunctive query (cq-)programs that combine rules and ontologies, based on different methods to find extensions of default theories  ...  We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs).  ...  With the aim to offer a user-friendly reasoner over ontologies, we consider default reasoning on top of ontologies based on cq-programs [11] , which integrate rules and ontologies.  ... 
doi:10.1007/978-3-642-02906-6_52 fatcat:pjejlt4htzgnzfwwwojt57p22u

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
This paper discusses argumentation, semantic web and defeasible logic programming with their distinct features and identifies the different research issues that need to be addressed in order to realize  ...  The ontology layer of the semantic web is now mature enough (i.e. standards like RDF, RDFs, OWL, OWL 2) and the next step is to work on a logic layer for the development of advanced reasoning capabilities  ...  and reasoning over incomplete and inconsistent information. • Rules based engines have their own format for rule expression and not easy to share. • Nonmonotonic techniques in logic programming e.g DeLP  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm
« Previous Showing results 1 — 15 out of 467 results