"OWL 2 Web Ontology Language Data Range Extension: Linear Equations" supported?
Closed this issue · 1 comments
stefanbischof commented
Hi!
does OWLAPI support the Working Group Note OWL 2 Web Ontology Language Data Range Extension: Linear Equations?
If yes, is there a complete (minimal) example of an ontology using this extension?
I came up with the following ontology by embedding the example code of the specification in an ontology, but Protege can not properly parse it:
Prefix(:=<http://www.semanticweb.org/z003354t/ontologies/2024/1/untitled-ontology-262#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Ontology(<http://www.semanticweb.org/z003354t/ontologies/2024/1/untitled-ontology-262>
Declaration(Class(:MyThing))
Declaration(Class(:NormalSubstance))
Declaration(DataProperty(:boiling_point))
Declaration(DataProperty(:melting_point))
Declaration(NamedIndividual(:water))
EquivalentClasses(:NormalSubstance DataAllValuesFrom(:melting_point :boiling_point DataComparison(Arguments(x y) leq( x y ))))
# Individual: :water (:water)
ClassAssertion(DataHasValue(:boiling_point "100"^^xsd:decimal) :water)
ClassAssertion(DataHasValue(:melting_point "0"^^xsd:decimal) :water)
)
This is the error message I get when trying to load this ontology in Protege:
Encountered " <PN_LOCAL> "DataComparison "" at line 17, column 85.
Was expecting:
")" ...
(Line 0 column 0)
ignazio1977 commented
Hi, no that note is not supported by OWLAPI