Skip to content

Commit

Permalink
solve bugs about: multi data/object property collection and addressin…
Browse files Browse the repository at this point in the history
…g definition removing issues
  • Loading branch information
buoncubi committed Jun 8, 2017
1 parent d35fce8 commit ea6bd15
Show file tree
Hide file tree
Showing 14 changed files with 202 additions and 465 deletions.
12 changes: 7 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,9 @@ When the most efficient descriptors for an application have been implemented you

#### OWL extension

Noteworthy, each `Descriptor` has methods to interact with the instantiated ontology through standard [aMOR](https://github.com/EmaroLab/multi_ontology_reference) helping functions, as well as lower layer [OWL API](https://github.com/owlcs/owlapi). From here you can not only call the reasoning task, but also get the `OWLManager`, `OWLDataFactory`, `OWLOntology` and `OWLReferences`. So, other manipulations and queries are possible without further dependences or bridges.
Noteworthy, each `Descriptor` has methods to interact with the instantiated ontology through standard [aMOR](https://github.com/EmaroLab/multi_ontology_reference) helping functions, as well as lower layer [OWL API](https://github.com/owlcs/owlapi). From here you can not only call the reasoning task, but also get the `OWLManager`, `OWLDataFactory`, `OWLOntology` and `OWLReferences`. So, other manipulations and queries are possible without further dependencies or bridges.

OWLOOP maps most of the features of OWL but not all. We try to implement the most useful once, as well as the part of the representation that are more lucky to be changed at run time. Nevertheless, this architecture is designed to accommodate all the OWL abilities, it is only matter of time for adding them. As an hint, you may want to use [Protege](http://protege.stanford.edu/) for more sophysticated manipulation that do not change at run time and load such ontology as a starting point for your systems.

#### API Capability

Expand All @@ -98,7 +100,7 @@ Remember that the type of *built descriptors* have always *Ground* consistent to
| `Sub` | `OWLClass` | all the sub classes of the ground |
| `Super` | `OWLClass` | all the super classes of the ground |
| `Classify` | `OWLNamedIndividual` | all the individuals belonging to the ground |
| `Definition` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) that define the ground |
| `Definition` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) that define the ground. Considered as a unique intersection |

###### The `MORIndividual` interface collects all the semantic descriptions grounded on ontological individuals (i.e.: `MORGrounding<OWLNamedIndividual>`). Those are divided in:
| Descriptor | Axioms of | Semantic |
Expand All @@ -116,8 +118,8 @@ Remember that the type of *built descriptors* have always *Ground* consistent to
| `Equivalent` | `OWLObjectProperty` | all the equivalent object properties to the ground |
| `Sub` | `OWLObjectProperty` | all the sub object properties of the ground |
| `Super` | `OWLObjectProperty` | all the object data properties of the ground |
| `Range` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground range |
| `Domain` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground domain |
| `Range` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground range. Considered as separate restrictions. |
| `Domain` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground domain. Considered as separate restrictions. |

###### The `MORDataProperty` interface collects all the semantic descriptions grounded on ontological data property (i.e.: `MORGrounding<OWLDataProperty>`). Those are divided in:
| Descriptor | Axioms of | Semantic |
Expand All @@ -127,7 +129,7 @@ Remember that the type of *built descriptors* have always *Ground* consistent to
| `Sub` | `OWLDataProperty` | all the sub data properties of the ground |
| `Super` | `OWLDataProperty` | all the super data properties of the ground |
| `Range` | `MORRestriction` | all the data type (`Integer`, `Boolean`, `String`, `Double`, `Float` and `Long`) restrictions of the ground range |
| `Domain` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground domain |
| `Domain` | `MORRestriction` | all the classes and the data/object properties cardinality restrictions (`min`, `max`, `exact`, `some`, `any`) of the ground domain. Considered as separate restrictions |



Expand Down
Binary file modified doc/javadoc.zip
Binary file not shown.
Binary file modified lib/amor-1.0.jar
Binary file not shown.
Binary file modified lib/owloop-1.0-with-dependecies.jar
Binary file not shown.
Binary file modified lib/owloop-1.0.jar
Binary file not shown.
Loading

0 comments on commit ea6bd15

Please sign in to comment.