Kutz, O. and Lucke, D. and Mossakowski, T. and Normann, Immanuel (2008) The OWL in the CASL: designing ontologies across logics. CEUR Workshop Proceedings , ISSN 1613-0073.
Abstract
In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETCASL. Through this change in perspective, OWL can benefit from various useful HETCASL features concerning structuring, modularity, and heterogeneity. This tackles a major problem area in ontology engineering: re-use of ontologies and re-combination of ontological modules. We discuss in particular: (1) the extension of the Manchester syntax for OWL with structuring mechanisms of CASL, allowing for explicit modularisation (2) automatic translations between ontology languages to support ontology design across different ontology languages (heterogeneity) (3) heterogeneous ontology refinements, and corresponding automated reasoning support for different logics
Metadata
| Item Type: | Article |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 26 Jul 2013 10:09 |
| Last Modified: | 09 Aug 2023 12:33 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/7844 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
