A Formal Theory for Modular ERDF Ontologies
作者： Anastasia Analyti , Grigoris Antoniou , Carlos Viegas Damásio
DOI: 10.1007/978-3-642-05082-4_15
关键词:
摘要: The success of the Semantic Web is impossible without any form modularity, encapsulation, and access control. In an earlier paper, we extended RDF graphs with weak strong negation, as well derivation rules. ERDF #n -stable model semantics framework (ERDF ) defined, extending RDF(S) semantics. this propose a for modular ontologies, called , which enables collaborative reasoning over set while support hidden knowledge also provided. particular, stable ontologies Our proposed supports local different points view, closed-world open-world assumptions, scoped negation-as-failure. Several complexity results are
harvard.edu
hud.ac.uk
springer.com
forth.gr
sci-hub.st 参考文章(16)
PRICAI 2008: Trends in Artificial Intelligence Springer Berlin Heidelberg. ,(2008) , 10.1007/978-3-540-89197-0
Vladimir Lifschitz, Michael Gelfond, Logic programs with classical negation international conference on lightning protection. pp. 579- 597 ,(1990)
Stefan Decker, Wolfgang Nejdl, Michael Sintek, The Model-Theoretic Semantics of TRIPLE ,(2002)
What is Negation Springer Netherlands. ,(1999) , 10.1007/978-94-015-9309-0
Axel Polleres, Cristina Feier, Andreas Harth, Rules with Contextually Scoped Negation Lecture Notes in Computer Science. pp. 332- 347 ,(2006) , 10.1007/11762256_26
Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner, On the Computability and Complexity Issues of Extended RDF pacific rim international conference on artificial intelligence. pp. 5- 16 ,(2008) , 10.1007/978-3-540-89197-0_5
Michael Sintek, Stefan Decker, TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web international semantic web conference. pp. 364- 378 ,(2002) , 10.1007/3-540-48005-6_28
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf, The well-founded semantics for general logic programs Journal of the ACM. ,vol. 38, pp. 619- 649 ,(1991) , 10.1145/116825.116838
TIM BERNERS-LEE, DAN CONNOLLY, LALANA KAGAL, YOSI SCHARF, JIM HENDLER, N3logic: A logical framework for the world wide web Theory and Practice of Logic Programming. ,vol. 8, pp. 249- 269 ,(2008) , 10.1017/S1471068407003213
J.W. Lloyd, R.W. Topor, Making prolog more expressive Journal of Logic Programming. ,vol. 1, pp. 225- 240 ,(1984) , 10.1016/0743-1066(84)90011-6