Protege Project › Protege User

Cardinality restrictions

Classic

List

Threaded

2 messages Options

Jabardi

Cardinality restrictions

the ontology has 2 classes, 4 subclass, one object property and 3 data property as bellow

Class Account (Individuals are A1, A2, A3, A4, A5)

· Set1 subclassof Account

· Set2 subclassof Account

· Set3 subclassof Account

· Seen subclassof Account

· UnSeen subclassof Account

Class Person (Individuals are P1, P2, P3, P4, P5)

3 dataType T1, T2, and T3 with values

Account	T1	T2	T3
A1	1	1	1
A2	1	1	0
A3	1	0	0
A4	0	0	1
A5	1	0	1

Visible is an object property with range (Set1, Set2, and Set3)

SWRL as follow

Account(?a) ^ T1(?a, ?x1) ^ swrlb:equal(?x1, 1) -> Set1(?a)
Account(?a) ^ T2(?a, ?x2) ^ swrlb:equal(?x2, 1) -> Set2(?a)
Account(?a) ^ T3(?a, ?x3)^ swrlb:equal(?x3, 1) -> Set3(?a)

The general class axiom is Visible min 2 (Set1 or Set2 or Set3) SubClassOf Seen

But nothing inferring results?

Thank you in advance

Sent from Mail for Windows 10

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user

Igor Toujilov-2

Re: Cardinality restrictions

Hi Mohammed,

I think many people from the list would like to answer your question straight away, if they have a small OWL file, reproducing your problem, and know what exactly you want to be inferred. Otherwise you make our life too complicated. For example, I can guess you did not declare your individuals as all different.

Regards,

Igor

Sent: Sunday, November 10, 2019 at 6:09 AM
From: "MOHAMMED" <[hidden email]>
To: "[hidden email]" <[hidden email]>
Subject: [protege-user] Cardinality restrictions