How to state that a class is related to ALL instances of another class via a property

Asked Oct 04 '22 at 16:55

Active Oct 04 '22 at 16:55

Viewed 101 times

Have two questions

Given classes A, B and object property p (A->B). How to say that for any a from A and any b from B a is mapped via property p to b (a p b)? In other words A has property p and every instance of A is mapped to all instances of B via propery p.
Now we have 3 classes A, B, C and 2 properties p1 (A->B or domain A, range B) and p2 (B->C or domain B, range C). How to say in Protege that for any a from A and any c from C there exists a b from B for which a p1 b and b p2 c?

asked Oct 04 '22 at 16:55

Solvek

1) should not be possible in OWL, i.e. you can't express a cartesian relation, but you can use SWRL: `A(x), B(y) -> p(x,y)` – UninformedUser Oct 05 '22 at 05:39
1) https://stackoverflow.com/a/16990106/7879193 or SWRL. – Stanislav Kralin Oct 05 '22 at 06:39
2) Try `swrlx:makeOWLThing`: https://stackoverflow.com/a/51817229/7879193 – Stanislav Kralin Oct 05 '22 at 06:46

0 Answers0