OWL2 Functional Style Syntax for python.
To date, it appears that the majority of the python based OWL generators use variations of the OWL RDF syntax -- something that is time consuming and error prone. What we are attempting to do in this project is (in order of relative priority):
- Provide a pythonic API that follows the OWL functional model for constructing OWL
- Emit OWL in OWL Functional syntax
- Emit OWL in RDF (any rdflib flavor)
- Consume OWL functional syntax
- Consume OWL RDF
- Provide a py4j or equivalent wrapper to the standard Java OWL libraries
from rdflib import RDFS, OWL, Namespace
from funowl import OntologyDocument, Ontology
EX = Namespace("http://www.example.com/ontology1#")
o = Ontology("http://www.example.com/ontology1")
o.imports("http://www.example.com/ontology2")
o.annotation(RDFS.label, "An example")
o.subClassOf(EX.Child, OWL.Thing)
doc = OntologyDocument(EX, o)
print(str(doc))
Prefix( xml: = <http://www.w3.org/XML/1998/namespace> )
Prefix( rdf: = <http://www.w3.org/1999/02/22-rdf-syntax-ns#> )
Prefix( rdfs: = <http://www.w3.org/2000/01/rdf-schema#> )
Prefix( xsd: = <http://www.w3.org/2001/XMLSchema#> )
Prefix( owl: = <http://www.w3.org/2002/07/owl#> )
Prefix( : = <http://www.example.com/ontology1#> )
Ontology( <http://www.example.com/ontology1>
Import( <http://www.example.com/ontology2> )
Annotation( rdfs:label "An example" )
SubClassOf( :Child owl:Thing )
)
Represent:
Prefix(:=<http://example.org/>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Ontology(
Declaration(NamedIndividual(:a))
Declaration(DataProperty(:dp))
Declaration(Class(:A))
SubClassOf(:A DataAllValuesFrom(:dp
DataOneOf("3"^^xsd:integer "4"^^xsd:int))
)
SubClassOf(:A DataAllValuesFrom(:dp
DataOneOf("2"^^xsd:short "3"^^xsd:int))
)
ClassAssertion(:A :a)
ClassAssertion(DataSomeValuesFrom(:dp
DataOneOf("3"^^xsd:integer)) :a
)
)
As:
from rdflib import Namespace, XSD, OWL, Literal
from funowl import *
EX = Namespace("http://example.org/")
# Ontology represents the OWLF OntologyDocument production
o = Ontology(EX.myOntology, "http://example.org/myOntolology/version/0.1")
# prefixes array includes default
o.prefixes(EX, rdfs=RDFS)
o.prefixes.append(owl=OWL)
# namedIndividual, objectProperty, class, et. properties add to declarations
o.namedIndividual(EX.a)
# Declarations can also be added explicitly
o.declarations(DataProperty(EX.dp), Class(EX.A))
# Axioms are added by type
o.subClassOf(EX.A, DataAllValuesFrom(EX.dp, DataOneOf(3, Literal(4, datatype=XSD.int_))))
# or as an array
o.axioms.append(SubClassOf(EX.A, DataAllValuesFrom(EX.dp, DataOneOf(Literal(2, datatype=XSD.short), Literal(3, datatype=XSD.int_))))
o.class(EX.A, EX.a)
o.class(DataSomeValuesFrom(EX.dp, DataOneOf(3)), EX.a)
print(str(o))
Prefix(:=<http://example.org/>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Ontology(
Declaration(NamedIndividual(:a))
Declaration(DataProperty(:dp))
Declaration(Class(:A))
SubClassOf(:A DataAllValuesFrom(:dp
DataOneOf("3"^^xsd:integer "4"^^xsd:int))
)
SubClassOf(:A DataAllValuesFrom(:dp
DataOneOf("2"^^xsd:short "3"^^xsd:int))
)
ClassAssertion(:A :a)
ClassAssertion(DataSomeValuesFrom(:dp
DataOneOf("3"^^xsd:integer)) :a
)
)
While we would be happy to be corrected, to the best of our knowledge there is to be minimal support for OWL in python.
- OwlReady2 appears to be the closest thing to what we are looking for, but, as described in this paper it creates an ontology-oriented programming API for ontologies, while what we want is much closer to the raw OWL itself. We have also recently discovered
- The
rdflib
infixowl actually comes closer to what we've been trying to accomplish and, had we known of its existence before we got started, we may have chosen to build on it instead of starting from scratch.