Filters








46,151 Hits in 5.3 sec

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web [chapter]

Thomas Lukasiewicz, Umberto Straccia
Web Reasoning and Rule Systems  
We present a novel approach to fuzzy dl-programs under the answer set semantics, which is a tight integration of fuzzy disjunctive programs under the answer set semantics with fuzzy description logics.  ...  We show that the new formalism faithfully extends both fuzzy disjunctive programs and fuzzy description logics, and that under suitable assumptions, reasoning in the new formalism is decidable.  ...  ., brave) reasoning from fuzzy dl-programs under the answer set semantics as follows. Definition 3.2. Let KB = (L, P ) be a fuzzy dl-program. Let a ∈ HB Φ and n ∈ [0, 1].  ... 
doi:10.1007/978-3-540-72982-2_23 dblp:conf/rr/LukasiewiczS07 fatcat:7iqzn6bx35cnvdatdgokg23urm

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06)  
in the Semantic-Web area.  ...  Through external atoms, HEX-programs can deal with external knowledge and reasoners of various nature, such as RDF datasets or description-logics knowledge bases.  ...  The semantics of HEX-program is given by generalizing the answer-set semantics [4] , which admits no, one, or multiple models (i.e., answer sets) in general.  ... 
doi:10.1109/wi.2006.64 dblp:conf/webi/EiterIST06 fatcat:lqb5majm5nejxiurbuxkuw6b74

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  ...  In this paper, after giving a brief overview about the current state of the Semantic-Web stack and its components, we will discuss nonmonotonic logic programs under the answer-set semantics as a possible  ...  Reasoning Tasks The main reasoning tasks associated with programs under the answer-set semantics are the following: decide whether a given program P has an answer set; given a program P and ground literals  ... 
doi:10.1007/11837787_4 fatcat:mihezlblwrhopbwjc6dhfelghi

Semantic Web Logic Programming Tools [chapter]

Jóse Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
The last two decades of research in Logic Programming, both at the theoretical and practical levels, have addressed several topics highly relevant for the Semantic Web effort, providing very concrete answers  ...  The paper does not intended to be a survey of logic programming techniques applicable to the Semantic Web, and so the interested reader should try to obtain the missing information in the logic programming  ...  Part of the work on logic programming updates has been supported by projects FLUX "Flexible Logical Updates" (POSI/SRI/40958/2001) , funded by FEDER, and TARDE "Tabulation and Reasoning in a Distributed  ... 
doi:10.1007/978-3-540-24572-8_2 fatcat:fcn3m4zgxfa6lil3yyygvkbu7e

Querying the Web Reconsidered

François Bry, Christoph Koch, Tim Furche, Sebastian Schaffert, Liviu Badea, Sacha Berger
2005 International Journal on Semantic Web and Information Systems (IJSWIS)  
Scenarios for querying the Semantic Web illustrate the design principles and their reflection in the initial strawman, i.e., a first draft of the query language to be designed and implemented by the REWERSE  ...  Scenarios for querying the Semantic Web illustrate the design principles and their reflection in the initial strawman, i.e., a first draft of the query language to be designed and implemented by the REWERSE  ...  We would like to thank Claude Kirchner and Wolfgang May for reviewing a draft of this deliverable and providing numerous invaluable comments on how to improve both its presentation and content.  ... 
doi:10.4018/jswis.2005040101 fatcat:lswujrluhrendahv2alku7eo6i

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

Odile Papini, Salem Benferhat
2018 Annals of Mathematics and Artificial Intelligence  
Concerning the first point, a challenging issue was how to adapt or extend Answer Set Programming (ASP) to represent ontological knowledge.  ...  The aim of this workshop was to bridge knowledge representation and reasoning in artificial intelligence and web of knowledge communities in order to encourage the emergence of new solutions for reasoning  ...  Concerning the first point, a challenging issue was how to adapt or extend Answer Set Programming (ASP) to represent ontological knowledge.  ... 
doi:10.1007/s10472-018-9580-3 fatcat:se44nmynsrgppe6m5qpbppj4by

The Maturing Semantic Web: Lessons in Web-Scale Knowledge Representation [chapter]

Mark Greaves
2009 Lecture Notes in Computer Science  
-Combine reasoning/retrieval and search -Want to trade off answer quality and answer timeliness  Reasoning pipeline -Heavy emphasis on probability, decision theory, anytime algorithms -Plugin architecture  ...  -Combine reasoning/retrieval and search -Want to trade off answer quality and answer timeliness  Reasoning pipeline -Heavy emphasis on probability, decision theory, anytime algorithms -Plugin architecture  ... 
doi:10.1007/978-3-642-03079-6_1 fatcat:bgkvdqaj3ndrtmz56qwqi4mbse

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

Thomas Lukasiewicz
2010 IEEE Transactions on Knowledge and Data Engineering  
We present a novel combination of disjunctive programs under the answer set semantics with description logics for the Semantic Web.  ...  In detail, we present a novel form of tightly integrated disjunctive dl-programs KB = (L, P ) under the answer set semantics, which allows for decidable reasoning, without assuming any syntactic restrictions  ...  ., brave) reasoning from disjunctive programs under the answer set semantics.  ... 
doi:10.1109/tkde.2010.111 fatcat:okrzhm37b5du3efa34rbcephpq

Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach [chapter]

Patryk Burek, Rafał Graboś
2005 Lecture Notes in Computer Science  
The translation of annotated OWL axioms into a logic program under answer set semantics is provided.  ...  There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not.  ...  We are indebted to Hesham Khalil, Sören Auer, Frank Loebe and Sebastian Dietzold for fruitful discussions and to the anonymous reviewers for feedback on earlier versions of this paper.  ... 
doi:10.1007/11431053_26 fatcat:tnntmzjcmbepnl6nva7zh3hwn4

Interval-based Possibilistic Description Logic Programs for the Semantic Web

TING-TING ZOU, AN-SHENG DENG
2018 DEStech Transactions on Computer Science and Engineering  
Integration ontologies and rules has become a central topic in the Semantic Web.  ...  Therefore, we propose tightly coupled interval-based possibilistic description logic programs under possibilistic answer set semantics, which are a tight integration of disjunctive logic programs, interval-based  ...  Now, the integration ontologies and rules has become a central topic in the Semantic Web.  ... 
doi:10.12783/dtcse/cmsms2018/25226 fatcat:kpan2i27ujhwpacrmvfuofdoaa

A Framework for Composition and Inter-operation of Rules in the Semantic Web

Enrico Pontelli, Tran Son, Chitta Baral
2006 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)  
In this paper we describe a framework, based on the integration of different flavors of logic programming, aimed at facilitate reasoning with multiple sources of knowledge expressed in an heterogeneity  ...  In this paper we describe the basic syntax and semantics of the framework, and its preliminary implementation in the ASP-Prolog system.  ...  answer set semantics).  ... 
doi:10.1109/ruleml.2006.1 dblp:conf/ruleml/PontelliSB06 fatcat:4gqgqqaqeffgza2f73wokm324m

DC Proposal: Towards a Framework for Efficient Query Answering and Integration of Geospatial Data [chapter]

Patrik Schneider
2011 Lecture Notes in Computer Science  
We seek to combine spatial reasoning, (nonmonotonic) logic programming, and ontologies for integrating geospatial databases with Semantic Web technologies.  ...  Semantic Web technologies are becoming more interleaved with geospatial databases, which should lead to an easier integration and querying of spatial data.  ...  We seek to combine spatial reasoning, (nonmonotonic) logic programming rules (such as Answer Set Programming [6] , Prolog [2] , or Semantic Web Rule Language (SWRL) [17] ), and ontologies for interleaving  ... 
doi:10.1007/978-3-642-25093-4_28 fatcat:kixcjktwxzgc3azybnidhu6aqu

Can OWL and Logic Programming Live Together Happily Ever After? [chapter]

Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
2006 Lecture Notes in Computer Science  
Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying.  ...  This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming.  ...  set programming [10] .  ... 
doi:10.1007/11926078_36 fatcat:sbkkjbgrjbdctboxyk3ekgf2rq

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Thomas Lukasiewicz, Umberto Straccia
2008 International Journal on Semantic Web and Information Systems (IJSWIS)  
answer set semantics with fuzzy description logics.  ...  We present a novel approach to fuzzy description logic programs (or simply fuzzy dl-programs) under the answer set semantics, which is a tight integration of fuzzy disjunctive logic programs under the  ...  (a) Let I ⊆ HB Φ be any answer set of KB . That is, I is a minimal model of KB I = (L, P I ). In particular, (i) I |= L and (ii) I |= r for every r ∈ P I .  ... 
doi:10.4018/jswis.2008070104 fatcat:ywk4xuriyjg7nld7qpbfbbd7fi

Uncertainty Reasoning for the Semantic Web [chapter]

Thomas Lukasiewicz
2009 Lecture Notes in Computer Science  
., brave) consequence of a disjunctive dl-program KB under the answer set semantics iff every (resp., some) answer set of KB satisfies a.  ...  The answer set semantics of disjunctive dl-programs faithfully extends its ordinary counterpart and the first-order semantics of description logic knowledge bases.  ... 
doi:10.1007/978-3-642-05082-4_3 fatcat:ojaedt2s6jc2jmocn2ie2ewejy
« Previous Showing results 1 — 15 out of 46,151 results