Re: Accessing inferences and asserstions rather than just assertions

Posted by tyler on
URL: http://owlready.306.s1.nabble.com/Accessing-inferences-and-asserstions-rather-than-just-assertions-tp144p151.html

this is the top of my .owl file:

<rdf:RDF xmlns="http://www.semanticweb.org/tyler/ontologies/2018/0/untitled-ontology-14#"
     xml:base="http://www.semanticweb.org/tyler/ontologies/2018/0/untitled-ontology-14"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/tyler/ontologies/2018/0/untitled-ontology-14"/>

My SPARQL query:

effects = "PREFIX owl:<http://www.semanticweb.org/tyler/ontologies/2018/0/untitled-ontology-14#> " \
            "SELECT ?effect " \
            "WHERE { " \
            "?system owl:contains ?component ." \
            "?component owl:entered ?effect ." \
            "}"

From this query, I only get two asserted effects, and not the two additional inferred effects (as the result of being the inverse object properties)

I'm at a loss....