Extending SWRL to enhance mathematical support

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

Volumn 4524 LNCS, Issue , 2007, Pages 358-360

  Sánchez Macián, Alfonso ^a,d   Pastor, Encarna ^a   De Vergara, Jorge E López ^b   López, David ^c  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^c Univ de León   (United Kingdom)

^d UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROBLEM SOLVING; SEMANTIC WEB; SEMANTICS;

MATHEMATICAL SUPPORT; PROBLEM SEMANTICS; SEMANTIC WEB RULE LANGUAGES (SWRL); SWRL RULES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38149014051     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72982-2_30     Document Type: Conference Paper

References (5)

1. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The OpenMath Standard version 2.0., Technical Report, The OpenMath Society, (June 2004) http://om-candidate.activemath.org/standard/om20- 2004-06-30/
2. Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission, (May 2004) http://www.w3.org/Submission/SWRL
3. Jang, M., Sohn, J.: Bossam: an extended rule engine for the web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 128-138. Springer, Heidelberg (2004)
4. McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview, W3C Recommendation, (February 2004) http://www.w3.org/TR/owl-features
5. Wolfram, S.: The Mathematica Book, 5th edn. Wolfram Media, Champaign, Illinois, US, (2003) http://documents.wolfram.com/mathematica