search

dice-group / owlapy

OWLAPY is a Python Framework for creating and manipulating OWL Ontologies.
MIT License
16 stars 1 forks source link

OWL Concept For nominals #1

Closed Demirrr closed 11 months ago

Demirrr commented 11 months ago

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

alkidbaci commented 11 months ago

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.

Demirrr commented 11 months ago

Great! Then could you please close this issue after giving some examples of using owlapy README.md?

alkidbaci commented 11 months ago

Done!