How to use the owlrl.OWLRL_Semantics function in owlrl

To help you get started, we’ve selected a few owlrl examples, based on popular ways it is used in public projects.

Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.

github BrickSchema / Brick / tests / test_inference.py View on Github external
G.add( (BLDG.MAFS1, BRICK.hasTag, TAG.Flow) )
G.add( (BLDG.MAFS1, BRICK.hasTag, TAG.Setpoint) )
G.add( (BLDG.MAFS1, BRICK.hasTag, TAG.Limit) )
G.add( (BLDG.MAFS1, BRICK.hasTag, TAG.Max) )

G.add( (BLDG.AFS1, A, BRICK.Air_Flow_Sensor) )

G.add( (BLDG.co2s1, A, BRICK.CO2_Level_Sensor) )

G.add( (BLDG.standalone, A, BRICK.Temperature_Sensor) )

# Apply reasoner
import time
t1 = time.time()
import owlrl
owlrl.DeductiveClosure(owlrl.OWLRL_Semantics).expand(G)

G.bind('rdf', RDF)
G.bind('owl', OWL)
G.bind('rdfs', RDFS)
G.bind('skos', SKOS)
G.bind('brick', BRICK)
G.bind('tag', TAG)
G.bind('bldg', BLDG)

t2 = time.time()
print("Reasoning took {0}".format(t2-t1))
s = G.serialize(format='ttl')
print('expanded:', len(G))

with open('Brick_expanded.ttl','wb') as f:
    f.write(s)
github BrickSchema / Brick / tests / util / reasoner.py View on Github external
def reason_owlrl(g):
    """
    Applies full OWL RL Reasoning. WARNING: takes a few hours.

    Lets us use:
    - tags <--> classes
    - measures properties
    - transitive properties
    - inverse properties
    - class hierarchy (rdf:type, not rdf:type/rdfs:subClassOf*)
    """
    start_time = time.time()
    owlrl.DeductiveClosure(owlrl.OWLRL_Semantics).expand(g)
    end_time = time.time()
    print('owlrl reasoning took {0} seconds.'.format(int(end_time - start_time)))
github gtfierro / xboswave / brickgraph / make_graph.py View on Github external
G.add( (DEP[spbc], XBOS.usesResource, DEP.uPMU_0_L3_resource) )
    G.add( (DEP[spbc], XBOS.usesResource, DEP.uPMU_0_C1_resource) )
    G.add( (DEP[spbc], XBOS.usesResource, DEP.uPMU_0_C2_resource) )
    G.add( (DEP[spbc], XBOS.usesResource, DEP.uPMU_0_C3_resource) )

    # a more interesting way: dynamic binding based on a query.
    # still have to know the PMU by name though
    upmu_0_resources = G.query(f"SELECT ?res WHERE {{ <{DEP.uPMU_0}> xbos:hasResource ?res }}")
    for res in upmu_0_resources:
        G.add( (DEP[spbc], XBOS.usesResource, res[0]) )

    # TODO: even more interesting: find uPMU through a query

# apply reasoner
Q = deepcopy(G)
owlrl.DeductiveClosure(owlrl.OWLRL_Semantics).expand(Q)

# infer the entities
all_processes = Q.query("""SELECT ?proc ?label WHERE { ?proc rdf:type xbos:Process . ?proc rdfs:label ?label}""")
for proc, label in all_processes:
    ent = DEP[f"{label}_entity"]
    G.add( (ent, A, XBOS.Entity) )
    G.add( (ent, RDFS.label, Literal(label)) )
    G.add( (proc, XBOS.hasEntity, ent) )

with open('test.ttl','wb') as f:
    f.write(G.serialize(format='turtle'))
github BrickSchema / Brick / brickschema / brickschema / inference.py View on Github external
def expand(self, graph):
        for triple in graph:
            self.g.add(triple)
        owlrl.DeductiveClosure(owlrl.OWLRL_Semantics).expand(self.g.g)
        return self.g

owlrl

A simple implementation of the OWL2 RL Profile, as well as a basic RDFS inference, on top of RDFLib. Based mechanical forward chaining.

W3C
Latest version published 2 months ago

Package Health Score

64 / 100
Full package analysis