52 Hits in 2.9 sec

The DLVHEX System for Knowledge Representation: Recent Advances (System Description) [article]

Christoph Redl
2016 arXiv   pre-print
In order to promote the system for real-world applications, we further present applications which were already successfully realized on top of DLVHEX.  ...  In this paper, we present the current status of the system and point out the most important recent enhancements over early versions.  ...  For a complete API description we refer to  ... 
arXiv:1607.08864v2 fatcat:kslzvjwznnhpjevjsmr574ik6q

Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features

Stefania Costantini, Andrea Formisano
2019 Italian Conference on Computational Logic  
In this paper we present a methodology for introducing customizable metalogic features in logic-based knowledge representation and reasoning languages.  ...  We propose general principles for extending the semantics of "host" formalisms accordingly.  ...  The DLVHEX system [29] is a logic-programming reasoner for computing the models of so-called HEXprograms.  ... 
dblp:conf/cilc/CostantiniF19 fatcat:5muy6j3acjff3k5eijtzn2zd5y

Semantic Descriptions for Logical Content Generation

Thomas Smith, Julian A. Padget
2015 International Conference on Foundations of Digital Games  
By using semantic models as input for a content-agnostic generation system, we hope to provide more domain-general content generation.  ...  This paper describes our research into the provision and use of semantic information to guide logical solver-based content generation, in order to feasibly generate meaningful and valid content.  ...  It also makes use of theories, knowledge representation formats and systems developed by researchers in the field of Semantic Web [3] .  ... 
dblp:conf/fdg/SmithP15 fatcat:jzq7uzklgjcjpcs7pzjqiipooy

Representing default knowledge in biomedical ontologies: application to the integration of anatomy and phenotype ontologies

Robert Hoehndorf, Frank Loebe, Janet Kelso, Heinrich Herre
2007 BMC Bioinformatics  
We show how this extension can be used to achieve interoperability between ontologies, and further allows for the inclusion of more knowledge within them.  ...  Achieving this interoperability will contribute to the creation of a rich knowledge base that can be used for querying, as well as generating and testing novel hypotheses.  ...  We thank Kay Prüfer for his comments on an early draft of this paper, and Roman Schindlauer and Thomas Krennwallner for their patch for and help with DLVHEX.  ... 
doi:10.1186/1471-2105-8-377 pmid:17925014 pmcid:PMC2180186 fatcat:erqxq455jzbxhg5q2la5kqwdda

Answer Set Programming with External Source Access [chapter]

Thomas Eiter, Tobias Kaminski, Christoph Redl, Peter Schüller, Antonius Weinzierl
2017 Lecture Notes in Computer Science  
research/systems/dlvhex  ...  In this article, we consider problem solving with ASP under external information access using the dlvhex system.  ...  We appreciate the review feedback and are thankful for the detailed suggestions in it to improve the presentation of the material in this article.  ... 
doi:10.1007/978-3-319-61033-7_7 fatcat:cvtqcxldljag3kimdtmqy5jori

DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX

Axel Polleres, Roman Schindlauer
2007 International Conference on Logic Programming  
We report on the implementation of this languages using dlvhex, a flexible plugin system on top of the DLV solver.  ...  This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C.  ...  dlvhex Basics dlvhex 3 is a reasoner for so-called HEX-programs [11] , a relatively new logic programming language, which provides an interface to external sources of knowledge.  ... 
dblp:conf/iclp/PolleresS07 fatcat:jbxznwgesndyjaxbpsfdqigqmy

Realizing Default Logic over Description Logic Knowledge Bases [chapter]

Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
The front-end is a flexible tool for customizing the realization, allowing to develop alternative or refined default semantics. To our knowledge, no comparable implementation is available.  ...  We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs).  ...  ... 
doi:10.1007/978-3-642-02906-6_52 fatcat:pjejlt4htzgnzfwwwojt57p22u

Uniform Evaluation of Nonmonotonic DL-Programs [chapter]

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
2012 Lecture Notes in Computer Science  
While this approach is attractive for combining systems, the impedance mismatch between different reasoning engines and the API-style interfacing are an obstacle to efficient evaluation of dl-programs  ...  Nonmonotonic description logic programs are a major formalism for a loose coupling of rules and ontologies, formalized in logic programming and description logics, respectively.  ...  The algorithm for solving input-call stratified MLPs [10] has been implemented in the TD-MLP solver [54] , which is based on the dlvhex system.  ... 
doi:10.1007/978-3-642-28472-4_1 fatcat:4mh6a2dg4bfztpmd2zwsfxx7yi

Declarative Belief Set Merging Using Merging Plans [chapter]

Christoph Redl, Thomas Eiter, Thomas Krennwallner
2011 Lecture Notes in Computer Science  
A prototype is implemented in MELD (MErging Library for Dlvhex) on top of the dlvhex system for HEX-programs, which are nonmonotonic logic programs with access to external sources.  ...  sets of the knowledge bases that are processed using merging operators.  ...  The MELD System We have implemented our framework in MELD (MErging Library for Dlvhex), using the infrastructure and possibilities of the dlvhex system to transparently access heteroge-neous (possibly  ... 
doi:10.1007/978-3-642-18378-2_10 fatcat:sagdztpv2za4xcsgvnz6a33ike

Introduction to the 32nd International Conference on Logic Programming Special Issue

2016 Theory and Practice of Logic Programming  
Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logic programming-based systems, such as Ergo.  ...  The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from the 18thto the 21stOctober 2016.  ...  ., Semantic Systems, The University of Texas at Dallas and, of course, the Association for Logic Programming. Andy King was partially supported by EPSRC grant EP/N020243/1.  ... 
doi:10.1017/s1471068416000491 fatcat:qzindp2mnbbk3p54666cwmebee

Integrated Algorithms for HEX-Programs and Applications in Machine Learning [article]

Tobias Kaminski
2019 arXiv   pre-print
This paper summarizes my doctoral research on evaluation algorithms for HEX-programs, which extend Answer Set Programming with means for interfacing external computations.  ...  The focus is on integrating different subprocesses of HEX-evaluation, such as solving and external calls as well as grounding, and on applications of HEX-programs in the area of Machine Learning.  ...  Motivation Due to current trends in distributed systems and information integration, there is an increasing need for accessing external information sources from within knowledge representation formalisms  ... 
arXiv:1905.02428v1 fatcat:7ztzs7upefd5re2tdlb4wca56q

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  ...  For realizing the Semantic Web vision, extensive work is underway for getting the layers of its conceived architecture ready.  ...  In particular, efficient usage of RACER is critical for the system performance.  ... 
doi:10.1007/11837787_4 fatcat:mihezlblwrhopbwjc6dhfelghi

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
Ontology languages are good for describing knowledge adhering to the Open World Assumption, i.e., the encoded knowledge is considered incomplete and conclusions, which cannot be derived from an ontology  ...  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  ...  By the notion of DL external atoms, HEX-programs are able to query external description logics reasoners; the dlvhex system is able to accommodate dl-atoms in the style of Section 6.1, which give a more  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru

A Rule-based Framework for Creating Instance Data from OpenStreetMap [chapter]

Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Šimkus, Guohui Xiao
2015 Lecture Notes in Computer Science  
Reasoning engines for ontological and rule-based knowledge bases are becoming increasingly important in areas like the Semantic Web or information integration.  ...  In this paper we describe a framework and a toolbox for creating such datasets, which is based on extracting instances from the publicly available OpenStreetMap (OSM) geospatial database.  ...  Conclusion and Outlook We have presented a flexible framework for generating instance data from a geospatial database for OQA systems.  ... 
doi:10.1007/978-3-319-22002-4_8 fatcat:tjkfk5pwxrcv7ip2j5gibodujq

Combining OWL with F-Logic Rules and Defaults

Heiko Kattenstroth, Wolfgang May, Franz Schenk
2007 International Conference on Logic Programming  
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes.  ...  F-Logic rules are used for e.g., role-value-maps, closed-world-reasoning, (stratified) negation, aggregation, and definition of answer views; additionally the default inheritance of F-Logic can be exploited  ...  This research has been funded by the European Commission within the 6th Framework Programme project REWERSE, no. 506779.  ... 
dblp:conf/iclp/KattenstrothMS07 fatcat:2oi7i5rrenb77ghlckmfulb56i
« Previous Showing results 1 — 15 out of 52 results