Reasoning with Probabilistic Ontologies

被引:0
|
作者
Riguzzi, Fabrizio [1 ]
Bellodi, Elena [2 ]
Lamma, Evelina [2 ]
Zese, Riccardo [2 ]
机构
[1] Univ Ferrara, Dipartimento Matemat & Informat, Via Saragat 1, I-44122 Ferrara, Italy
[2] Univ Ferrara, Dipartimento Ingn, I-44122 Ferrara, Italy
关键词
DESCRIPTION LOGICS; MANAGING UNCERTAINTY; PROGRAMS; VAGUENESS;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Modeling real world domains requires ever more frequently to represent uncertain information. The DISPONTE semantics for probabilistic description logics allows to annotate axioms of a knowledge base with a value that represents their probability. In this paper we discuss approaches for performing inference from probabilistic ontologies following the DISPONTE semantics. We present the algorithm BUNDLE for computing the probability of queries. BUNDLE exploits an underlying Description Logic reasoner, such as Pellet, in order to find explanations for a query. These are then encoded in a Binary Decision Diagram that is used for computing the probability of the query.
引用
收藏
页码:4310 / 4316
页数:7
相关论文
共 50 条
  • [1] An Infrastructure for Probabilistic Reasoning with Web Ontologies
    Huber, Jakob
    Niepert, Mathias
    Noessner, Jan
    Schoenfisch, Joerg
    Meilicke, Christian
    Stuckenschmidt, Heiner
    [J]. SEMANTIC WEB, 2017, 8 (02)
  • [2] Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision
    Li, Weizhuo
    Zhang, Songmao
    [J]. KNOWLEDGE-BASED SYSTEMS, 2020, 209
  • [3] Reasoning with inconsistent ontologies
    Fang, Jun
    Huang, Zhisheng
    [J]. Tsinghua Science and Technology, 2010, 15 (06) : 687 - 691
  • [4] Reasoning with Inconsistent Ontologies
    方俊
    [J]. Tsinghua Science and Technology, 2010, 15 (06) : 687 - 691
  • [5] Reasoning with Inconsistent Ontologies
    Huang, Zhisheng
    van Harmelen, Frank
    ten Teije, Annette
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 454 - 459
  • [6] Reasoning with rules and ontologies
    Eiter, Thomas
    Ianni, Giovambattista
    Polleres, Axel
    Schindlauer, Roman
    Tompits, Hans
    [J]. REASONING WEB, 2006, 4126 : 93 - 127
  • [7] Deontic Reasoning for Legal Ontologies
    Emani, Cheikh Kacfah
    Haralambous, Yannis
    [J]. SEMANTIC WEB, ESWC 2019, 2019, 11503 : 209 - 224
  • [8] Reasoning with a Network of Aligned Ontologies
    Zimmermann, Antoine
    Le Duc, Chan
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 43 - 57
  • [9] Island Reasoning for ALCHI Ontologies
    Wandelt, Sebastian
    Moeller, Ralf
    [J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 164 - 177