A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
The DLVHEX System for Knowledge Representation: Recent Advances (System Description)
[article]
2016
arXiv
pre-print
Preserved Fulltext
Other Versions
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 http://www.kr.tuwien.ac.at/research/systems/dlvhex/. ...
arXiv:1607.08864v2
fatcat:kslzvjwznnhpjevjsmr574ik6q
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features
2019
Italian Conference on Computational Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Conference on Foundations of Digital Games
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
BMC Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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). ...
http://www.kr.tuwien.ac.at/research/systems/dlvhex/ ...
doi:10.1007/978-3-642-02906-6_52
fatcat:pjejlt4htzgnzfwwwojt57p22u
Uniform Evaluation of Nonmonotonic DL-Programs
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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