Incremental Classification of Description Logics Ontologies

被引:18
|
作者
Grau, Bernardo Cuenca [1 ]
Halaschek-Wiener, Christian [2 ]
Kazakov, Yevgeny [1 ]
Suntisrivaraporn, Boontawee [3 ]
机构
[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England
[2] Clados Management LLC, San Mateo, CA USA
[3] Thammasat Univ, Sirindhorn Int Inst Technol, ICT, Bangkok, Thailand
基金
英国工程与自然科学研究理事会;
关键词
Description logics; Ontologies; OWL; OWL; REASONER;
D O I
10.1007/s10817-009-9159-0
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a collection of techniques for incremental reasoning-that is, reasoning that reuses information obtained from previous versions of an ontology. We have applied our results to incremental classification of OWL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.
引用
收藏
页码:337 / 369
页数:33
相关论文
共 50 条
  • [1] Incremental Classification of Description Logics Ontologies
    Bernardo Cuenca Grau
    Christian Halaschek-Wiener
    Yevgeny Kazakov
    Boontawee Suntisrivaraporn
    [J]. Journal of Automated Reasoning, 2010, 44 : 337 - 369
  • [2] Description logics for ontologies
    Sattler, U
    [J]. CONCEPTUAL STRUCTURES FOR KNOWLEDGE CREATION AND COMMUNICATION, 2003, 2746 : 96 - 116
  • [3] Attributed Description Logics: Ontologies for Knowledge Graphs
    Kroetzsch, Markus
    Marx, Maximilian
    Ozaki, Ana
    Thost, Veronika
    [J]. SEMANTIC WEB - ISWC 2017, PT I, 2017, 10587 : 418 - 435
  • [4] On the Influence of Description Logics Ontologies on Conceptual Similarity
    d'Amato, Claudia
    Staab, Steffen
    Fanizzi, Nicola
    [J]. KNOWLEDGE ENGINEERING: PRACTICE AND PATTERNS, PROCEEDINGS, 2008, 5268 : 48 - +
  • [5] Representing ontologies using description logics, description graphs, and rules
    Motik, Boris
    Grau, Bernardo Cuenca
    Horrocks, Ian
    Sattler, Ulrike
    [J]. ARTIFICIAL INTELLIGENCE, 2009, 173 (14) : 1275 - 1309
  • [6] Computing Horn Rewritings of Description Logics Ontologies
    Kaminski, Mark
    Grau, Bernardo Cuenca
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3091 - 3097
  • [7] Revisiting Default Description Logics - and Their Role in Aligning Ontologies
    Sengupta, Kunal
    Hitzler, Pascal
    Janowicz, Krzysztof
    [J]. SEMANTIC TECHNOLOGY (JIST 2014), 2015, 8943 : 3 - 18
  • [8] Combining Description Logics and Typicality Effects in Formal Ontologies
    Frixione, Marcello
    Lieto, Antonio
    [J]. AI(STAR)IA 2011: ARTIFICIAL INTELLIGENCE AROUND MAN AND BEYOND, 2011, 6934 : 401 - 406
  • [9] The cartographer algorithm for processing and querying description logics ontologies
    Goczyla, K
    Grabowska, T
    Waloszek, W
    Zawadzki, M
    [J]. ADVANCES IN WEB INTELLIGENCE, PROCEEDINGS, 2005, 3528 : 163 - 169
  • [10] Reasoning with Inconsistent Possibilistic Description Logics Ontologies with Disjunctive Assertions
    Alejandro Gomez, Sergio
    [J]. JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, 2015, 15 (02): : 68 - 74