Abstract
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does not support reasoning over layered metamodels. OWL 2 provides simple metamodelling by using a punning approach, however, the interpretation function is different based on the context, which leads to non-intuitive results. The OWL FA Language has a well defined metamodelling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we discuss some reasoning tasks in OWL FA. We also introduce the OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.
Original language | English |
---|---|
Title of host publication | Knowledge Science, Engineering and Management |
Subtitle of host publication | 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings |
Editors | Yaxin Bi, Mary-Anne Williams |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 51-62 |
Number of pages | 12 |
ISBN (Electronic) | 978-3-642-15280-1 |
ISBN (Print) | 978-3-642-15279-5 |
DOIs | |
Publication status | Published - 23 Aug 2010 |
Event | The Fourth International Conference on Knowledge Science, Engineering and Management - Belfast, United Kingdom Duration: 1 Sept 2010 → 3 Sept 2010 Conference number: 4 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Berlin, Heidelberg |
Volume | 6291 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | The Fourth International Conference on Knowledge Science, Engineering and Management |
---|---|
Abbreviated title | KSEM 2010 |
Country/Territory | United Kingdom |
City | Belfast |
Period | 1/09/10 → 3/09/10 |