BIROn - Birkbeck Institutional Research Online

    The OWL in the CASL: designing ontologies across logics

    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.

    Full text not available from this repository.


    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


    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item