Abstract / Description of output
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 metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling 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 metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009) |
| Editors | Rinke Hoekstra, Peter F. Patel-Schneider |
| Publisher | CEUR-WS.org |
| Number of pages | 10 |
| Publication status | Published - 16 Oct 2009 |
| Event | 6th International Workshop on OWL: Experiences and Directions - Chantilly, United States Duration: 23 Oct 2009 → 24 Oct 2009 Conference number: 6 http://webont.org/owled/2009/ |
Publication series
| Name | CEUR Workshop Proceedings |
|---|---|
| Publisher | CEUR-WS |
| Volume | 529 |
| ISSN (Print) | 1613-0073 |
Workshop
| Workshop | 6th International Workshop on OWL: Experiences and Directions |
|---|---|
| Abbreviated title | OWLED 2009 |
| Country/Territory | United States |
| City | Chantilly |
| Period | 23/10/09 → 24/10/09 |
| Internet address |