owlcs / owlapi

OWL API main repository
813 stars 314 forks source link

"OWL 2 Web Ontology Language Data Range Extension: Linear Equations" supported? #1128

Closed stefanbischof closed 1 month ago

stefanbischof commented 4 months ago

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 4 months ago

Hi, no that note is not supported by OWLAPI