Semantic web languages - Towards an institutional perspective

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

Volumn 4060 LNCS, Issue , 2006, Pages 99-123

  Lucanu, Dorel ^a   Li, Yuan Fang ^b   Dong, Jin Song ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; ONTOLOGY; SOFTWARE AGENTS;

LOGICAL SYSTEM; SOFTWARE SPECIFICATIONS;

SEMANTIC WEB;

EID: 38549102564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11780274_6     Document Type: Conference Paper

References (23)

1. J. Angele, H. Boley, J. de Brujin, D. Fensel, P. Hitzler, M. Kifer, R. Krummenacher, H. Lausen, A. Polleres, R.Studer. Web Rule Language (WRL). Version 1.0, 2005. http://www.wsmo.org/wsml/wrl/wrl.html.
2. M. Barr and Ch. Wells. Category Theory for Computing Science. Les Publications CRM, Montreal, third edition, 1999
3. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
4. D. Brickley and R. V. Guha (editors). Resource Description Framework (RDF) Schema Specification 1.0. http://www.w3.org/TR/rdf-schema/, February 2004.
5. -. Deliverable D20.1v0.2, WSML, 2004. http://www.wsmo.org/TR/d20/d20.1/v0.2/.
6. R. Diaconescu. Institution-independent Model Theory. To appear. http://www.imar.ro/~diacon/.
7. R. Diaconescu. Grothendieck institutions. Applied Categorical Structures, 10:383-402, 2002.
8. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. Verifying DAML+OIL and beyond in Z/EVES. In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 201-210, Edinburgh, Scotland, May 2004.
9. J. Goguen. Information Integration in Institutions, 2004. To appear in avolume dedicated to Jon Barwise, edited by Larry Moss.
10. J. Goguen and R. Burstall. Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery, 39(1):95-146, 1992.
11. J. Goguen and G. Roşt;u. Institution Morphisms. Formal Aspects of Computing, 13, pages 274-307, 2002.
12. B.N. Grosof, I. Horrocks, R. Volz, St. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the Twelfth International World Wide Web Conference, pages 48-57, ACM, 2003.
13. P. Hayes. RDF Semantics. http://www.w3.org/TR/rdf-mt/, February 2004
14. I. Horrocks and P. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), ACM, 2004.
15. I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A semantic web rule language combining OWL and RuleML. http://www.daml.org/2004/11/fol/rules-all.html, November 2004.
16. I. Horrocks, P. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1):7-26, 2003.
17. G. Klyne, J. Carroll (editors). Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, 2004. http://www.w3.org/TR/ rdf-concepts/.
18. D. Lucanu, Y. F. Li, and J. S. Dong. Web Ontology Verification and Analysis in the Z Framework. Technical Report TR 05-01, University "Alexandru loan Cuza" of Iaşi, Romania, January 2005. http://thor.info.uaic.ro/~tr/tr05-01.ps.
19. B. McBride. Jena: Implementing the RDF Model and Syntax Specification. In 2nd Int'l Semantic Web Workshop, 2001. http://www.hpl.hp.com/personal/bwm/ papers/20001221 -paper/.
20. P. Patel-Schneider, P. Hayes, and I. Horrocks (editors). OWL Web Ontology Semantics and Abstract Syntax. http://www.w3.org/TR/2004/REC-owl-semantics- 20040210/, 2004.
21. P. Patel-Schneider. A proposal for a SWRL extension to forst-order logic. http://www.daml.org/2004/l 1/fol/proposal, November 2004.
22. P. Patel-Schneider, and D. Fensel, Layering the Semantic Web: Problems and Directions. In First International Semantic Web Conference (ISWC2002), Sardinia, Italy". citeseer.ist.psu.edu/article/patel- schneider021ayering.html, 2002.
23. B.C. Pierce. Basic Category Theory for Computer Science. MIT, 1991.