You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
BTW there's a similar issue with assertions on relations.
Both these work:
No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error.
No first-name is last-name.
Every first-name connects-with nothing-but thing that is a last-name.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error too.
But:
No first-name is last-name.
No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a last-name and-or pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Does not cause an error.
BTW there's a similar issue with assertions on relations.
Both these work:
No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error.
No first-name is last-name.
Every first-name connects-with nothing-but thing that is a last-name.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error too.
But:
No first-name is last-name.
No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a last-name and-or pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Does not cause an error.
@apohllo
Author
apohllo commented 4 days ago
The RDF/OWL conversions are as follows, for the first type of assertion:
and for the second type:
The text was updated successfully, but these errors were encountered: