Filters








5,759 Hits in 5.8 sec

A Faithful Integration of Description Logics with Logic Programming

Boris Motik, Riccardo Rosati
2007 International Joint Conference on Artificial Intelligence  
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism.  ...  We also give reasoning algorithms and tight data complexity bounds for several interesting fragments of our logic. * This work was partially funded by the EPSRC project REOL (EP/C537211/1) and the EU project  ...  Introduction Integrating description logics (DLs) and logic programming (LP) in a common framework would produce a very powerful formalism; for example, LP rules could be used to model constraints and  ... 
dblp:conf/ijcai/MotikR07 fatcat:tl3fgk4g6bfj7ntni2pmrqy2iq

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract)

Tobias Kaminski, Matthias Knorr, João Leite
2015 International Workshop on Description Logics  
We adopt the base framework of [29] because of its generality and tight integration between the ontology and the rules -cf. [29] for a thorough argument in its favor -under the semantics of [24] because  ...  Moreover, we show that the six-valued semantics is faithful w.r.t. the paraconsistent semantics for extended logic programs W F SX p [3] when classical negation is only applied to unary atoms.  ... 
dblp:conf/dlog/KaminskiKL15 fatcat:pzrxm5sav5gfrfiyyg5n6tm6qi

An Inference Model for Semantic Entailment in Natural Language [chapter]

Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons
2006 Lecture Notes in Computer Science  
This is a fundamental problem in natural language understanding that provides a broad framework for studying language variability and has a large number of applications.  ...  Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another.  ...  Acknowledgments We thank Dash Optimization for the free academic use of their Xpress-MP software.  ... 
doi:10.1007/11736790_15 fatcat:bfy7mme2n5h4hfuwkg5qtdadt4

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

Thomas Lukasiewicz
2010 IEEE Transactions on Knowledge and Data Engineering  
As a next important step in the development of the Semantic Web, one aims at sophisticated representation and reasoning capabilities for the Rules, Logic, and Proof layers of the Semantic Web.  ...  Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity.  ...  An important property of integrations of rules and ontologies is that they are a faithful [50, 51] extension of both rules and ontologies.  ... 
doi:10.1109/tkde.2010.111 fatcat:okrzhm37b5du3efa34rbcephpq

Models for semantic interoperability in service-oriented architectures

G. Vetere, M. Lenzerini
2005 IBM Systems Journal  
We give an overview of the issue of semantic interoperability (integration), provide a semantic characterization of services, and discuss the role of ontologies.  ...  Then we analyze four basic models of semantic interoperability that differ in respect to their mapping between service descriptions and ontologies and in respect to where the evaluation of the integration  ...  SOAs, armed with suitable descriptive languages and powerful reasoning algorithms, provide a solid and standardized basis that facilitates the design and implementation of semantics-enabled IT infrastructures  ... 
doi:10.1147/sj.444.0887 fatcat:gxuxj7xibbam3ff55lagbn2js4

The Antiquarian Librarian & the Pedantic Semantic Web Programmer: Trust, logic, knowledge and inference

Cate Dowd
2008 AISB Workshop on Evolutionary Computing  
The logic and thinking for the Semantic Web environment has a philosophical base associated with rules and knowledge that draw on traditional concepts, such as 'loci' and 'indexes of place' for the location  ...  To design algorithms for game-play requires an understanding of various types of logic and the construction of values that are assigned to objects that need to translate into meaningful tools for a community  ...  However, thinking and logic for the Semantic web extends to 'reasoning using probability and causality... and the relationships between statements, concepts, or propositions, and rules of inference' [  ... 
dblp:conf/aisb/Dowd08 fatcat:qieby4dmlvhgrkwxacx676dypy

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
During research on Semantic Web technologies the demand for combined formalisms, which integrate ontology and rule languages, emerged as a consequence to supply advanced reasoning capabilities in this  ...  But such a combination of rules and ontologies, which integrates well with current W3C standards, is not a simple task due to various reasons shown later.  ...  Faithful preservation of semantics when translating OWL to rules is however a known problem.  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru

Computer Support for the Development and Investigation of Logics

Hans Jürgen Ohlbach
1996 Logic Journal of the IGPL  
Other topics adressed in this paper are reasoning in Hilbert systems, the investigation of the expressiveness of a logic and the axiomatizability of semantic conditions.  ...  In particular, we consider the correspondences between axiomatic and semantic speci cations of a logic and the problem of nding one from the other by means of automated theorem provers and quanti er elimination  ...  Thorsten Engel implemented the SCAN algorithm by modifying the Otter theorem prover and integrating an unskolemization algorithm.  ... 
doi:10.1093/jigpal/4.1.109 fatcat:zbub4nyly5ardizjv54ehe2kiy

Page 3762 of Mathematical Reviews Vol. , Issue 2003e [page]

2003 Mathematical Reviews  
In order to obtain a greatest fixpoint semantics for this kind of logic program, the paper considers clauses as inference rules rather than logic formulas, and derivations as proofs rather than computations  ...  Reason. 28 (2002), no. 4, 371-396. Summary: “Satisfiability algorithms for propositional logic have improved enormously in recent years.  ... 

Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics [chapter]

Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 Lecture Notes in Computer Science  
Motik and Rosati introduced Hybrid knowledge bases (KBs), composed of LP rules and DL axioms, gave them an MKNF semantics and studied their complexity.  ...  Since Logic Programming (LP) and Description Logics (DLs) are based on different assumptions (the closed and the open world assumption, respectively), combining them provides higher expressiveness in applications  ...  The SLG(O) procedure [2] for hybrid knowledge bases under the well founded semantics integrates a reasoner for the DL at hand with the SLG procedure in the form of an oracle: the DL reasoner returns  ... 
doi:10.1007/978-3-319-49130-1_27 fatcat:a2qtaohdjzfllf6akwyjreep3q

Normative Systems Represented as Hybrid Knowledge Bases [chapter]

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
2011 Lecture Notes in Computer Science  
We advocate the use of hybrid knowledge bases combining rules and ontologies, which provide the joint expressivity of logic programming and description logics.  ...  We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base.  ...  Acknowledgments The authors would like to thank Ana Leite for all her advice on the Portuguese Penal Code and Matthias Knorr for discussions on the well-founded semantics for Hybrid MKNF.  ... 
doi:10.1007/978-3-642-22359-4_23 fatcat:ugp6u4ooq5crjae43fnmg65rky

Orel: Database-Driven Reasoning for OWL 2 Profiles

Markus Krötzsch, Anees Mehdi, Sebastian Rudolph
2010 International Workshop on Description Logics  
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2.  ...  We present the underlying calculus, the core algorithm, and initial evaluation results.  ...  The work reported herein has been supported by the EU in project ACTIVE (IST-2007-215040) and by the German Research Foundation under the Ex-presST project.  ... 
dblp:conf/dlog/KrotzschMR10 fatcat:dhlcqvaiwnc2rbq2l3xyn4qd2a

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality [chapter]

Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
2009 Lecture Notes in Computer Science  
Advances in algorithms and computers have made for effective reasoners for theoretically intractable description logics, A slightly different version published in  ...  The work on classic, described in this paper, was undertaken at AT&T Bell Labs around 1990, and fits into this component, taking the formal theories of description logic and crafting a useful system for  ...  in tableaux-based description logic reasoners, and also (in joint work with James Rice) in an implemented system for explaining the reasoning in a model-elimination theorem prover at Stanford.  ... 
doi:10.1007/978-3-642-02463-4_23 fatcat:6q5lllblqbe7xg3bplt254wlgm

Paraconsistent Semantics for Hybrid MKNF Knowledge Bases [chapter]

Shasha Huang, Qingguo Li, Pascal Hitzler
2011 Lecture Notes in Computer Science  
Hybrid MKNF knowledge bases, originally based on the stable model semantics, is a mature method of combining rules and Description Logics (DLs).  ...  However, integration of rules and DLs may give rise to inconsistencies, even if they are respectively consistent. Accordingly, reasoning systems based on the previous two semantics will break down.  ...  Syntax and Semantics of ALC The Description Logics ALC We briefly recall the description language ALC, which is the logical basis of OWL.  ... 
doi:10.1007/978-3-642-23580-1_8 fatcat:k7o5l6j56rblzlphvvtjhxwhd4

A Logical Framework for Distributed Systems and Communication Protocols [chapter]

José Meseguer
1998 IFIP Advances in Information and Communication Technology  
will discuss some promising directions for its use as a logical and semantic framework for distributed computing and communication protocols.  ...  Thus, on the one hand it connects smoothly with-and provides a formal foundation for-notations suitable for the early phases of software design, such as architectural description languages and object-oriented  ...  For such applications, an attractive feature of rewriting logic is its simple and smooth integration of three levels of description that ultimately need to be addressed in a distributed system's formal  ... 
doi:10.1007/978-0-387-35394-4_20 fatcat:qjfqhrr4qbbpjk5na4z4yubnai
« Previous Showing results 1 — 15 out of 5,759 results