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