Combining rule and ontology reasoners for the semantic web

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

Volumn 3323 LNCS, Issue , 2004, Pages 6-22

  Golbreich, Christine ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINING RULES; DOMAIN KNOWLEDGE; ONTOLOGIES AND RULES; OWL ONTOLOGIES; PLUG-INS; RULE BASE; SEMANTIC WEB STANDARDS; REASONERS; SWRL RULES;

COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; MARKUP LANGUAGES; ONTOLOGY; SEMANTICS; BIRDS; COMPUTATIONAL LINGUISTICS;

SEMANTIC WEB;

EID: 77249113876     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_2     Document Type: Conference Paper

References (18)

1. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I. McGuinness, L. D., Patel-Schneider, P. F., Stein, L., A.: OWL Web Ontology Language Reference. W3C Working Draft (2003) http://www.w3.org/TR/owl-ref
2. Boley, H., Tabet, S., Wagner G., Design Rationale of RuleML: A Markup Language for Semantic Web Rules. International Semantic Web Working Symposium, 2001, Stanford, USA.
3. Dameron O., Burgun A., Morandi X., Gibaud B. Modelling dependencies between relations to insure consistency of a cerebral cortex anatomy knowledge base. Proceedings of Medical Informatics in Europe (2003)
4. Dameron O., Gibaud B., Musen M. Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy, KR-MED 2004.
5. Eriksson, H.: Using JessTab to Integrate Protege and Jess. IEEE Intelligent Systems (2003), 18(2):43-50
6. Ernest J. Friedman-Hill: Jess 6.1 manual. Sandia National Laboratories (2003)
7. Gennari, J. Musen M., Fergerson R., Grosso W., Crubézy M., Eriksson H., Noy N., and Tu S.. The evolution of Protégé-2000: An environment for knowledge-based systems development. International Journal of Human-Computer Studies, 58(1):89-123, 2003.
8. Goasdoue, F., Lattes, V., Rousset, M.C. The Use Of Carin Language and Algorithms for Information Integration: The PICSEL System International Journal of Cooperative Information Systems, 9(4): 383-401, 2000.
9. Golbreich, C., Dameron O., Gibaud B., Burgun, A.: Web ontology language requirements w.r.t. expressiveness of taxonomy and axioms in medicine, International Semantic Web Conference (2003)
10. Golbreich C., Imai A., Combining SWRL rules and OWL ontologies with Protégé OWL Plugin, Jess, and RACER, 7th International Protégé Conference, Bethesda, 2004
11. Golbreich C., Mercier S., Construction of the dialysis and transplantation ontology: advantages, limits, and questions about Protege OWL, Workshop on Medical Applications of Protégé, 7th International Protégé Conference, Bethesda, 2004
12. Golbreich C., Burgun, Biomedical Information Integration, a hot issue, Poster at MEDINFO 2004, San Francisco, 2004.
13. Grosof B., Horrocks I., Volz R., and Decker S., Description Logic Programs: Combining Logic Programs with Description Logic In: Proc. 12th Intl. Conf. on the World Wide Web (WWW-2003), Budapest, Hungary, May 20-23, 2003.
14. Haarslev V., Möller R.: Description of the RACER System and its Applications. Description Logics 2001
15. Horrocks, I., Patel-Schneider, P., Harold, B., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Version 0.5 Nov. 2003
16. Horrocks, I. and Patel-Schneider, P. F. A Proposal for an OWL Rules Language. In Proceedings International WWW Conference, New York, USA, 2004.
17. Horrocks, I., Sattler, U., Decidability of SHIQ with Complex Role Inclusion Axioms, IJCAI 03
18. Schmidt-Schauß Subsumption in KL-ONE is Undecidable. M. Schmidt-Schauß. Proc. of KR'89, pages 421-431, Morgan Kaufmann.