Greetings,
I have an ontology with some classes containing expressions such as:
owl:equivalentClass [
rdf:type owl:Restriction ;
owl:hasValue :c_await_feedback ;
owl:onProperty :Action_Status ;
] ;
For some reason, these get replaced by (sometimes) by expressions, such as
Hi all,
Solving Einsteins riddle works in Protege with Fact++. Just run the
resoner, click on the instance and see the result. Sweet.
http://persons.iis.nsk.su/files/persons/pages/einsteins_riddle.owl
I saved the file as RDF and imported it to Topbraid. However, I cannot get
it to work in Topb
port
> negation as failure. As a result, cardinalities, complements and a few
> other things are not as useful in OWL as one may expect.
>
> I would recommend looking into SPIN (
> http://www.topquadrant.com/technology/sparql-rules-spin/ and
> http://spinrdf.org/spinstack.h
Hi Irene,
This helps. I made "unhealty drinks" a subclass of thing and the logic
works like a charm...:-)
Thank you - this is very much appreciated.
Have a great day.
Gershon
Am Mittwoch, 13. Mai 2015 16:01:47 UTC+2 schrieb Gershon Pollatschek:
>
> Hello all,
>
> I am
Hello all,
I am trying to create a sub-class, which includes all instances that are
NOT included in a sibling class. I tried ComplementOf and using "no
NameOfSibling and no NameOfSibling". Both did not perform as expected. In
the example attached, healty drinks are to be defined as drinks which
