Hello,
thanks for all the suggestions.
It seems that the issue here was indeed lack of support of owl:oneOf and
not owl:allValuesFrom as I initially thought. Here is the relevant part of
the OWL file where both constructs are present (for future reference):
rdf:type owl:NamedIndividual ,
>
@Steve
Which reasoner are you using? Have you tried openllet (Pellet for
Jena) to see if you get the desired result?
works only with Jena 3.X
Which reasoner are you using? Have you tried openllet (Pellet for
Jena) to see if you get the desired result?
that look like a mix of Manchester OWL
Hi,
If I properly understand your notation, you are try to obtain an instance
as an inferred class.
In this case is CatPerson, a person who only has a pet of kind cat.
And, as I see you defined person_1, and you say he has a cat, then you
expect the system to infer he is a cat person, and return
Which reasoner are you using? Have you tried openllet (Pellet for Jena)
to see if you get the desired result?
Out of curiosity, what notation (ontology syntax) are you using here?
On 12/5/2021 8:38 AM, Jakub Jałowiec wrote:
Hi,
I have an OWL ontology
https://github.com/kubajal/covidepid/blob/
Hi,
I have an OWL ontology
https://github.com/kubajal/covidepid/blob/main/minimal_test.ttl.
The ontology has the following definitions:
>
>- Person
> - CatPerson (subClassOf Person + CatPerson equivalentTo hasPet only
> Cat)
>- Animal
> - Cat (subClassOf Animal)
>- ha