Literate ontology development

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

Volumn 3292, Issue , 2004, Pages 753-757

  Mahnke, Achim ^a   Krieg Brückner, Bernd ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES; SPECIFICATIONS;

CHANGE MANAGEMENT; FINE GRAINED; INVARIANT PROPERTIES; ONTOLOGY DEVELOPMENT;

ONTOLOGY;

EID: 35048847110     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30470-8_86     Document Type: Article

References (12)

1. E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. D. Mosses, D. Sannella, and A. Tarlecki. CASL - the common algebraic specification language. Theoretical Computer Science, 286:153-196, 2002. www.cofi.info.
2. S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. The development graph manager MAYA (system description). In H. Kirchner and C. Reingeissen, editors, Algebraic Methodology and Software Technology, 2002, volume 2422 of LNCS, pages 495-502. Springer, 2002.
3. S. Bechhofer, F. van Hermelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. W3C: OWL Web Ontology Language - Reference. W3C Recommendation http://www.w3.org/TR/owl-ref/, February 2004.
4. http://www.informatik.uni-bremen.de/~davinci/.
5. A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L. Schneider. Sweetening ontologies with DOLCE. In A. Gómez-Përez and V. R. Benjamins, editors, EKAW, volume 2473 of LNCS, pages 166-181. Springer, 2002.
6. Donald E. Knuth. Literate programming. The Computer Journal, 27(2):97-111, May, 1984.
7. B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, and R. Ross. Specification of an ontology for route graphs. In Spatial Cognition IV, Lecture Notes in Artificial Intelligence. Springer, 2004. submitted.
8. B. Krieg-Brückner, D. Hutter, A. Lindow, C. Lüth, A. Mahnke, E. Melis, P. Meier, A. Poetzsch-Heffter, M. Roggenbach, G. Russell, J.-G. Smaus, and M. Wirsing. Multimedia instruction in safe and secure systems. In Recent Trends in Algebraic Development Techniques, volume 2755 of LNCS, pages 82-117. Springer, 2003.
9. B. Krieg-Brückner, C. Lüth, A. Mahnke, and G. Russell. Semantic interrelation of documents via an ontology. In G. Engels and S. Seehusen, editors, Proc. DELFI 2004, Paderborn, Lecture Notes in Informatics. Springer, 2004. to appear.
10. K. Lüttich and T. Mossakowski. Specification of ontologies in CASL. In International Conference on Formal Ontology in Information Systems. IOS-Press, 2004. to appear.
11. K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Ontologies for the semantic web in CASL. 17th Int. Workshop on Algebraic Development Techniques, 2004. Submitted for publication.
12. P. D. Mosses, editor. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science. Springer, 2004.