Temporal Reasoning for RDF(S): A Markov Logic based Approach

Huber, Jakob

huber_temporal_reasoning_markov_logic.pdf - Published

Download (1MB)

URL: https://ub-madoc.bib.uni-mannheim.de/37100
URN: urn:nbn:de:bsz:180-madoc-371002
Document Type: Working paper
Year of publication: 2014
Place of publication: Mannheim
Publication language: English
Institution: School of Business Informatics and Mathematics > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
Subject: 004 Computer science, internet
Keywords (English): Markov Logic , MAP , temporal reasoning , reasoning , RDF , RDFS , Allen's interval algebra
Abstract: In this work, we propose a formalism that is suitable to carry out temporal reasoning for probabilistic knowledge bases. In particular, we focus on detecting erroneous statements by exploiting temporal relations of facts. Therefore, we rely on RDF(S) and its associating entailment rules which provide a data representation model as well as a basic logical expressiveness. Moreover, we use Allen 19s interval algebra to express the relations of facts based on their associated temporal information. We carry out reasoning by transforming the statements and constraints to Markov Logic and compute the most probable consistent state (MAP inference) with respect to the defined constraints. Moreover, we evaluate the proposed approach in order to demonstrate its practicality and flexibility.

Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.

Metadata export


+ Search Authors in

BASE: Huber, Jakob

Google Scholar: Huber, Jakob

+ Download Statistics

Downloads per month over past year

View more statistics

You have found an error? Please let us know about your desired correction here: E-Mail

Actions (login required)

Show item Show item