Enriched support for ring constraints
Fact-oriented modeling approaches such as Object-Role Modeling (ORM) have long supported several varieties of ring constraints, such as irreflexivity, asymmetry, intransitivity, and acyclicity, on pairs of compatible roles. The latest version of the Web Ontology Language (OWL 2) supports five kinds...
| Main Authors: | , |
|---|---|
| Format: | Teaching Resource |
| Language: | English |
| Published: |
Springer Berlin Heidelberg
2011
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/147/ http://eprints.intimal.edu.my/147/1/9.pdf |
| _version_ | 1848766406073516032 |
|---|---|
| author | Halpin, Terry Curland, Matthew |
| author_facet | Halpin, Terry Curland, Matthew |
| author_sort | Halpin, Terry |
| building | INTI Institutional Repository |
| collection | Online Access |
| description | Fact-oriented modeling approaches such as Object-Role Modeling (ORM) have long supported several varieties of ring constraints, such as irreflexivity, asymmetry, intransitivity, and acyclicity, on pairs of compatible roles. The latest version of the Web Ontology Language (OWL 2) supports five kinds of ring constraint on binary predicates. Recently, three more ring constraint types (local reflexivity, strong intransitivity, and transitivity) were added to ORM. This paper discusses these new additions to ORM, as implemented in the Natural ORM Architect (NORMA) tool, and identifies important ways in which ORM and OWL differ in their support for ring constraints, while noting different mapping alternatives. We determine which combinations of elements from this expanded set of ring constraints are permitted, and provide verbalization patterns for the new additions. Graphical shapes for the new constraints and constraint combinations are introduced and motivated, and NORMA’s new user interface for entry of ring constraints is illustrated. |
| first_indexed | 2025-11-14T11:50:38Z |
| format | Teaching Resource |
| id | intimal-147 |
| institution | INTI International University |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T11:50:38Z |
| publishDate | 2011 |
| publisher | Springer Berlin Heidelberg |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | intimal-1472016-04-06T10:16:36Z http://eprints.intimal.edu.my/147/ Enriched support for ring constraints Halpin, Terry Curland, Matthew QA76 Computer software Fact-oriented modeling approaches such as Object-Role Modeling (ORM) have long supported several varieties of ring constraints, such as irreflexivity, asymmetry, intransitivity, and acyclicity, on pairs of compatible roles. The latest version of the Web Ontology Language (OWL 2) supports five kinds of ring constraint on binary predicates. Recently, three more ring constraint types (local reflexivity, strong intransitivity, and transitivity) were added to ORM. This paper discusses these new additions to ORM, as implemented in the Natural ORM Architect (NORMA) tool, and identifies important ways in which ORM and OWL differ in their support for ring constraints, while noting different mapping alternatives. We determine which combinations of elements from this expanded set of ring constraints are permitted, and provide verbalization patterns for the new additions. Graphical shapes for the new constraints and constraint combinations are introduced and motivated, and NORMA’s new user interface for entry of ring constraints is illustrated. Springer Berlin Heidelberg 2011 Teaching Resource NonPeerReviewed text en http://eprints.intimal.edu.my/147/1/9.pdf Halpin, Terry and Curland, Matthew (2011) Enriched support for ring constraints. [Teaching Resource] |
| spellingShingle | QA76 Computer software Halpin, Terry Curland, Matthew Enriched support for ring constraints |
| title | Enriched support for ring constraints |
| title_full | Enriched support for ring constraints |
| title_fullStr | Enriched support for ring constraints |
| title_full_unstemmed | Enriched support for ring constraints |
| title_short | Enriched support for ring constraints |
| title_sort | enriched support for ring constraints |
| topic | QA76 Computer software |
| url | http://eprints.intimal.edu.my/147/ http://eprints.intimal.edu.my/147/1/9.pdf |