OWL2Jess: A transformational implementation of the OWL semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3759 LNCS, Issue , 2005, Pages 599-608

  Mei, Jing ^a,b   Bontas, Elena Paslaru ^b   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

^b FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Ontologies; Reasoning; Rules; Semantic Web

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; KNOWLEDGE ACQUISITION; SEMANTICS; SOFTWARE PROTOTYPING;

ONTOLOGIES; OWL SPECIFIC REASONING TOOLS; REASONING TOOLS; RULES; TRANSFORMATIONAL IMPLEMENTATIONS;

WORLD WIDE WEB;

EID: 33646673622     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576259_65     Document Type: Conference Paper

References (16)

1. Werner Ceusters, Barry Smith, and Jim Flanagan. Ontology and medical terminology: Why description logics are not enough. In Proc. Towards An Electronic Patient Record, TEPR2003, 2003.
2. Jos de Bruijn, Rubén Lara, Axel Polleres, and Dieter Fensel. OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web. In WWW 2005, Chiba, Japan, May, pages 623-632. ACM Press, 2005.
3. Christine Golbreich. Combining rule and ontology reasoners for the semantic web. In RuleML 2004, Hiroshima, Japan, November, pages 155-169. LNCS 3323, 2004.
4. Benjamin Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logics. In WWW 2003, Budapest, Hungary, May, 2003.
5. Benjamin N. Grosof, Mahesh D. Gandhe, and Timothy W. Finin. Sweetjess: Translating damlruleml to jess. In RuleML 2002, Sardinia, Italy, June, 2002.
6. Patrick Hayes and Brian McBride. Rdf semantics. Available at http://www.w3.org/TR/rdf-mt/, 2004.
7. Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike Dean. Swrl: A semantic web rule language combining owl and ruleml. Available at http://www.w3.org/Submission/SWRL/, 2004.
8. Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From shiq and rdf to owl: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
9. John W. Lloyd. Foundations of logic programming; (2nd extended ed.). Springer-Verlag New York, Inc., 1987.
10. Jing Mei and Elena Paslaru Bontas. Technical reports: Reasoning paradigms for owl ontologies. Available at http://www.inf.fu-berlin.de/inst/pubs/tr-b-04- 12.abstract.html, 2004.
11. Jing Mei and Elena Paslaru Bontas. Reasoning paradigms for swrl-enabled ontologies. In Workshop Protégé with Rules, Madrid, Spain, July. CEUR: To appear, 2005.
12. Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for owl-dl with rules. In ISWC 2004, Hiroshima, Japan, November, pages 549-563. LNCS 3298, 2004.
13. Peter F. Patel-Schneider. A proposal for aswrl extension to first-order logic. Available at http://www.daml.org/2004/11/fol/proposal, 2004.
14. Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. Owl web ontology language semantics and abstract syntax. Available at http://www.w3.org/TR/owlabsyn/, 2004.
15. Michael Sintek and Stefan Decker. Triple - a query, inference, and transformation language for the semantic web. In ISWC 2002, Sardinia, Italy, June, 2002.
16. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, and Ian Horrocks. Using Vampire to reason with OWL. In Proc. of the 2004 International Semantic Web Conference (ISWC2004), pages 471-485. Springer, LNCS 3298, 2004.