ArThUR: A Tool for Markov Logic Network

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

272 Téléchargements (Pure)

Résumé

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.

langue originaleAnglais
titreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditeurSpringer Verlag
Pages319-328
Nombre de pages10
Volume8842
ISBN (imprimé)9783662455494
Etat de la publicationPublié - 2014
EvénementInternational Workshops: OTM Academy,OTM Industry Case Studies Program, C and TC, EI2N, INBAST, ISDE, META4eS, MSC, and OnToContent 2014 - Amantea, Italie
Durée: 27 oct. 201431 oct. 2014

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8842
ISSN (imprimé)03029743
ISSN (Electronique)16113349

Une conférence

Une conférenceInternational Workshops: OTM Academy,OTM Industry Case Studies Program, C and TC, EI2N, INBAST, ISDE, META4eS, MSC, and OnToContent 2014
PaysItalie
La villeAmantea
période27/10/1431/10/14

Empreinte digitale Examiner les sujets de recherche de « ArThUR: A Tool for Markov Logic Network ». Ensemble, ils forment une empreinte digitale unique.

  • Contient cette citation

    Bodart, A., Evrard, K., Ortiz Vega, J. J., & Schobbens, P. Y. (2014). ArThUR: A Tool for Markov Logic Network. Dans Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol 8842, p. 319-328). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8842). Springer Verlag.