Interpreting SWRL Rules in RDF Graphs

Electronic Notes in Theoretical Computer Science

Volumn 151, Issue 2 SPEC. ISS., 2006, Pages 53-69

  Mei, Jing ^a   Boley, Harold ^b  

^a PEKING UNIVERSITY   (China)

^b NATIONAL RESEARCH COUNCIL CANADA   (Canada)

Author keywords

bottom up strategy; fixpoint semantics; model theory; RDF graphs; SWRL rules

Indexed keywords

DATABASE SYSTEMS; MAPPING; MATHEMATICAL MODELS; SEMANTICS; THEOREM PROVING;

BOTTOM-UP STRATEGY; FIXPOINT SEMANTICS; MODEL THEORY; RDF GRAPHS; SWRL RULES;

GRAPH THEORY;

EID: 33646781221     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.036     Document Type: Article

References (21)

1. Antoniou G., and Boley H. Preface: Special Issue on Rules for the Semantic Web. Elsevier Web Semantics Journal (2005)
2. Baral C., and Gelfond M. Logic programming and knowledge representation. Journal of Logic Programming (1994)
3. Boley H., Dean M., Grosof B., Sintek M., Spencer B., Tabet S., and Wagner G. FOL RuleML: The first-order logic web language. (2005), available at. http://www.ruleml.org/fol/ and
4. Boley, H., S. Tabet and G. Wagner, Design Rationale of RuleML: A Markup Language for Semantic Web Rules, in: Proc. Semantic Web Working Symposium (SWWS'01) (2001), pp. 381-401
5. Donini F.M., Lenzerini M., Nardi D., and Schaerf A. AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems (JIIS) 10 (1998) 227-252
6. Eiter, T., T. Lukasiewicz, R. Schindlauer and H. Tompits, Combining Answer Set Programming with Description Logics for the Semantic Web, in: KR, 2004, pp. 141-151
7. Golbreich, C., Combining rule and ontology reasoners for the semantic web, in: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings (2004), pp. 155-169
8. Grosof, B. N., I. Horrocks, R. Volz and S. Decker, Description Logic Programs: Combining Logic Programs with Description Logic, in: Proc. of the Twelfth International World Wide Web Conference (WWW 2003) (2003), pp. 48-57
9. Hayes, P. and B. McBride, RDF semantics (2004), available at http://www.w3.org/TR/rdf-mt/
10. Hinz, Y. K., Datalog bottom-up is the trend, Technical Report INSS 690, University of Maryland (2002)
11. Horrocks, I. and P. F. Patel-Schneider, A proposal for an OWL rules language, in: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004) (2004), pp. 723-731
12. Horrocks I., Patel-Schneider P.F., Boley H., Tabet S., Grosof B., and Dean M. Semantic Web Rule Language (SWRL). (2004), available at. http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
13. Horrocks, I. and U. Sattler, A Tableaux Decision Procedure for SHOIQ, in: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI-2005), July 31 - August 5, Edinburgh, Scotland, UK, 2005
14. Hustadt, U., B. Motik and U. Sattler, Reasoning for description logics around SHIQ in a resolution framework, Technical Report 3-8-04/04, FZI, Karlsruhe University (2004)
15. Levy, A. Y. and M.-C. Rousset, CARIN: A Representation Language Combining Horn Rules and Description Logics, in: Proc. of the Twelfth European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary, 1996
16. Marchiori M., and Hawke S. Team comment on the SWRL submission. (2004), available at. http://www.w3.org/Submission/2004/03/Comment
17. Mei, J., S. Liu, A. Yue and Z. Lin, An extension to OWL with general rules, in: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings (2004), pp. 155-169
18. Motik, B., U. Sattler and R. Studer, Query answering for OWL-DL with rules, in: Proc. of the 3rd International Semantic Web Conference (2004), pp. 549-563
19. Patel-Schneider P.F., Hayes P., and Horrocks I. OWL web ontology language semantics and abstract syntax. Available at (2004). http://www.w3.org/TR/owl-absyn/
20. Tsarkov, D., A. Riazanov, S. Bechhofer and I. Horrocks, Using Vampire to reason with OWL, in: Proc. of the 2004 International Semantic Web Conference (ISWC 2004) (2004), pp. 471-485
21. Wagner, G., G. Antoniou, S. Tabet and H. Boley, The abstract syntax of RuleML - towards a general web rule language framework, in: Web Intelligence, 2004, pp. 628-631