ArThUR: A Tool for Markov Logic Network

Axel Bodart, Keyvin Evrard, James Jerson Ortiz Vega, Pierre Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

320 Downloads (Pure)

Abstract

Logical approaches-and ontologies in particular-offer a welladapted framework for representing knowledge present on the Semantic Web (SW). These ontologies are formulated in Web Ontology Language (OWL2), which are based on expressive Description Logics (DL). DL are a subset of First-Order Logic (FOL) that provides decidable reasoning. Based on DL, it is possible to rely on inference mechanisms to obtain new knowledge from axioms, rules and facts specified in the ontologies. However, these classical inference mechanisms do not deal with : uncertainty probabilities. Several works recently targeted those issues (i.e. Pronto, PR-OWL, BayesOWL, etc.), but none of them combines OWL2 with Markov Logic Networks (MLN) formalism. Several open source software packages for MLN are available (e.g. Alchemy, Tuffy, RockIt, etc.). In this paper, we present ArThUR, a Java framework for reasoning with probabilistic information in the SW. ArThUR incorporate three open source software packages for MLN, which is able to reason with uncertainty information, showing that it can be used in several real-world domains. We also show several experiments of our tool with different ontologies.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages319-328
Number of pages10
Volume8842
ISBN (Print)9783662455494
Publication statusPublished - 2014
EventInternational Workshops: OTM Academy,OTM Industry Case Studies Program, C and TC, EI2N, INBAST, ISDE, META4eS, MSC, and OnToContent 2014 - Amantea, Italy
Duration: 27 Oct 201431 Oct 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8842
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceInternational Workshops: OTM Academy,OTM Industry Case Studies Program, C and TC, EI2N, INBAST, ISDE, META4eS, MSC, and OnToContent 2014
Country/TerritoryItaly
CityAmantea
Period27/10/1431/10/14

Fingerprint

Dive into the research topics of 'ArThUR: A Tool for Markov Logic Network'. Together they form a unique fingerprint.

Cite this