Cardinality restrictions

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Cardinality restrictions

Jabardi

Hi

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
Reply | Threaded
Open this post in threaded view
|

Re: Cardinality restrictions

Igor Toujilov-2

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

Hi

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

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