CODEWITHSUNDEEP
owlprotegecardinalityreasoner
very_interesting
very_interesting

Reputation: 355

Define Cardinality in OWL across different properties

Is there a way to define the cardinality in OWL across several properties? The usual syntax would be property min number class. I would like to do (property1, property2) min 2 class.

Example: I have a sender with several characteristics (Assistance, Meeting). But the Objectproperty/relation to each characteristic is different (has vs. wants).

enter image description here

All characteristics are grouped in one class.

enter image description here

An Attacker is defined as a Sender who has minimum two Characteristics (Characs) enter image description here

As seen in the first picture, the reasoner does not infer the individual Sender to be an Attacker. However, when the Assist property is changed, it is inferred.

enter image description here

Is there a way to define Attacker with a one cardinality over various Objectproperties? I checked the OWL references and there is no syntax pointing to such a solution. Maybe there is a workaround by designing the ontology differently?

I could just have one property in this ontology as a trick to use the cardinality. But I don't think that is the intention of ontologies. Would work for the use case but is not elegant at all.

Upvotes: 1

Views: 951

Answers (0)

Related Questions