Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity
作者： Herman J. ter Horst
DOI: 10.1007/11574620_48
关键词:
摘要: This paper extends the model theory of RDF with rules, placing an emphasis on integration OWL and decidability entailment. We start from abstract syntax that views a rule as pair graphs which generalize by also allowing variables in subject, predicate object positions. include RDFS well decidable part weakens D-entailment Full. Classes can be used instances. Almost all examples DAML set test rules are covered our approach. For R, we define general notion R-entailment. Extending earlier results OWL, prove completeness result for shows restricted form application introduce blank nodes is sufficient to determine For do not nodes, R-entailment R-consistency PSPACE. satisfy bound size bodies, P, NP, P if target graph ground.
springer.com
sci-hub.st 参考文章(17)
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, Jeff Dalton, Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment international semantic web conference. pp. 425- 440 ,(2004) , 10.1007/978-3-540-30475-3_30
Peter F. Patel-Schneider, Deborah L. McGuinness, Diego Calvanese, Franz Baader, Daniele Nardi, The Description Logic Handbook ,(2009)
Herman J. ter Horst, Extending the RDFS entailment lemma international semantic web conference. pp. 77- 91 ,(2004) , 10.1007/978-3-540-30475-3_7
Giorgio Busatto, Markus Lohrey, Sebastian Maneth, Efficient memory representation of XML documents database programming languages. pp. 199- 216 ,(2005) , 10.1007/11601524_13
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, {\cal A}{\cal L} -log: Integrating Datalog and Description Logics intelligent information systems. ,vol. 10, pp. 227- 252 ,(1998) , 10.1023/A:1008687430626
Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini, Datalog and Description Logics: Expressive Power database programming languages. pp. 281- 298 ,(1997) , 10.1007/3-540-64823-2_16
Boris Motik, Ulrike Sattler, Rudi Studer, Query Answering for OWL-DL with rules Journal of Web Semantics. ,vol. 3, pp. 41- 60 ,(2005) , 10.1016/J.WEBSEM.2005.05.001
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov, Complexity and expressive power of logic programming ACM Computing Surveys. ,vol. 33, pp. 374- 425 ,(2001) , 10.1145/502807.502810
K. Selçuk Candan, Huan Liu, Reshma Suvarna, Resource description framework ACM SIGKDD Explorations Newsletter. ,vol. 3, pp. 6- 19 ,(2001) , 10.1145/507533.507536
Herman J. ter Horst, Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary Journal of Web Semantics. ,vol. 3, pp. 79- 115 ,(2005) , 10.1016/J.WEBSEM.2005.06.001