OWL Concept For nominals
Closed this issue · 3 comments
Would be great @alkidbaci if you could also implement a class for nominals in owlapy?
Ideally we should be able to compte and or operation between instances of this nominal class, e.g. {alice} and {bob} are two instances of Nominal class.
We can compute intersections and conjunctions between them
as well as \forall hasChild ({alice} and {bob})
If something is unclear with the description, please lemme know :)
See 4.3 Nominals of DL if you need little but info about nominals
May it be that OWLObjectOneOf is what you are looking for? Because in OWL, nominals are represented using the owl:oneOf construct and in owlapy we have the class OWLObjectOneOf for instances. The intersection, conjunction and \forall can be achieved using OWLObjectIntersectionOf, OWLObjectUnionOf, OWLObjectAllValuesFrom respectively.
Great! Then could you please close this issue after giving some examples of using owlapy README.md?
Done!