The extension-based inference algorithm for pD*

作者: Övünç Öztürk , Tuğba Özacar , Murat Osman Ünalır

DOI: 10.1016/J.DATAK.2011.10.003

关键词:

摘要: In this work, we present a scalable rule-based reasoning algorithm for the OWL pD* language. This uses partial materialization and syntactic ontology transformation (the extension-based knowledge model) to provide fast inference. Because materialized part of does not contain assertional data, time consumed by process, number inferred triples, remain fixed with varying amounts data. The database query rewriting technique handle remaining model prevent expected decreases in performances, which are natural result online during time. work also evaluates efficiency proposed method conducting experiments using LUBM UOBM benchmarks.

参考文章(38)
Zachary G Ives, Sören Auer, Integrating Ontologies and Relational Data ,(2007)
Timo Weithöner, Thorsten Liebig, Marko Luther, Sebastian Böhm, Friedrich von Henke, Olaf Noppens, Real-World Reasoning with OWL european semantic web conference. pp. 296- 310 ,(2007) , 10.1007/978-3-540-72667-8_22
Tuğba Özacar, Övünç Öztürk, Murat Osman Ünalır, A pragmatic approach for RDFS reasoning over large scale instance data international conference on move to meaningful internet systems. pp. 1155- 1164 ,(2007) , 10.1007/978-3-540-76890-6_43
Maurizio Lenzerini, Giuseppe De Giacomo, TBox and ABox reasoning in expressive description logics principles of knowledge representation and reasoning. pp. 316- 327 ,(1996)
Dmitry Tsarkov, Ian Horrocks, FaCT++ Description Logic Reasoner: System Description Automated Reasoning. pp. 292- 297 ,(2006) , 10.1007/11814771_26
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin, An evaluation of knowledge base systems for large OWL datasets international semantic web conference. pp. 274- 288 ,(2004) , 10.1007/978-3-540-30475-3_20
Achille Fokoue, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas, The summary abox: cutting ontologies down to size international semantic web conference. pp. 343- 356 ,(2006) , 10.1007/11926078_25
Kavitha Srinivas, OWL Reasoning in the Real World: Searching for Godot. Description Logics. ,(2009)
Heiner Stuckenschmidt, Jeen Broekstra, Time – space trade-offs in scaling up RDF schema reasoning web information systems engineering. pp. 172- 181 ,(2005) , 10.1007/11581116_18