A principled framework for modular web rule bases and its semantics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 390-400

  Analyti, Anastasia ^a   Antoniou, Grigoris ^a,b   Damásio, Carlos Viegas ^c  

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Local closed world and open world assumptions; Local semantics; Modular web rule bases; Scoped negationas failure

Indexed keywords

KNOWLEDGE REPRESENTATION; SEMANTICS;

ANSWER SET SEMANTICS; LOCAL SEMANTICS; MODULAR WEB RULE BASIS; MONOTONICITY; NEGATION AS FAILURES; OPEN WORLD ASSUMPTION; SCOPED NEGATIONAS FAILURES; WELL-FOUNDED SEMANTICS WITH EXPLICIT NEGATION;

SEMANTIC WEB;

EID: 84860539305     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Alferes, J. J.; Daḿasio, C. V.; and Pereira, L. M. 1995. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning 14(1):93-147.
2. Analyti, A.; Antoniou, G.; Daḿasio, C. V.; and Wagner, G. 2008. Extended RDF as a Semantic Foundation of Rule Markup Languages. Journal of Artificial Intelligence Research (JAIR) 32:37-94.
3. Baral, C., and Gelfond, M. 1994. Logic programming and knowledge representation. Journal of Logic Programming 19/20:73-148.
4. Brewka, G., and Eiter, T. 2007. Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), 385-390.
5. Brewka, G.; Roelofsen, F.; and Serafini, L. 2007. Contextual default reasoning. In 20th International Joint Conference on Artificial Intelligence (IJCAI'07), 268-273.
6. Cort́es-Calabuig, A.; Denecker, M.; Arieli, O.; Nuffelen, B. V.; and Bruynooghe, M. 2005. On the local closed-world assumption of data-sources. In 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC'05), 333-334.
7. Daḿasio, C. V.; Analyti, A.; Antoniou, G.; and Wagner, G. 2006. Supporting open and closed world reasoning on the web. In 4th International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'06), 149- 163.
8. Duerst, and Suignard. 2005. Internationalized Resource Identifiers. RFC 3987.
9. Eiter, T.; Ianni, G.; Schindlauer, R.; and Tompits, H. 2005. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In 19th Intern. Joint Conference on Artificial Intelligence (IJCAI'05), 90- 96.
10. Gelder, A. V.; Ross, K. A.; and Schlipf, J. S. 1991. The well-founded semantics for general logic programs. Journal of the ACM 38(3):620-650.
11. Gelfond, M., and Lifschitz, V. 1990. Logic programs with classical negation. In 7th International Conference on Logic Programming (ICLP'90), 579-597.
12. Heflin, J., and Munoz-Avila, H. 2002. Lcw-based agent planning for the semantic web. In AAAI Workshop on Ontologies and the Semantic Web, 63-70.
13. Herre, H.; Jaspars, J.; and Wagner, G. 1999. Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In Gabbay, D. M., and Wansing, H., eds., What Is Negation? Kluwer Academic Publishers.
14. Kifer, M.; de Bruijn, J.; Boley, H.; and Fensel, D. 2005. A realistic architecture for the semantic web. In 1st International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'05), 17-29.
15. Kifer, M.; Lausen, G.; and Wu, J. 1995. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM 42(4):741-843.
16. Klyne, G., and Carroll, J. J. 2004. Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation. Available at http://www.w3.org/TR/2004/REC-rdf-concepts-20040210.
17. Oikarinen, E., and Janhunen, T. 2006. Modular Equivalence for Normal Logic Programs. In 7th European Conference on Artificial Intelligence (ECAI-2006), 412-416.
18. Pereira, L. M., and Alferes, J. J. 1992. Well founded semantics for logic programs with explicit negation. In 10th European Conference on Artificial Intelligence (ECAI- 1992), 102-106.
19. Polleres, A. 2006. Logic programs with contextually scoped negation. In 20th Workshop on Logic Programming (WLP'06), 129-136.
20. Pontelli, E.; Son, T. C.; and Baral, C. 2006. A framework for composition and inter-operation of rules in the semantic web. In 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06), 39-50.
21. RIF: The Rule Interchange Working Group Charter. Available at http://www.w3.org/2005/rules/wg/charter.
22. Sintek, M., and Decker, S. 2002. TRIPLE - A Query, Inference, and Transformation Language for the SemanticWeb. In 1st International Semantic Web Conference (ISWC'02), 364-378.
23. Yang, G.; Kifer, M.; and Zhao, C. 2003. Flora-2: A Rule- Based Knowledge Representation and Inference Infrastructure for the SemanticWeb. In 2nd Int. Conf. on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE'03), 671-688.