sync_factpp

ontopy.factpluspluswrapper.syncfatpp

sync_reasoner_factpp(ontology_or_world=None, infer_property_values=False, debug=1)

Run FaCT++ reasoner and load the inferred relations back into the owlready2 triplestore.

Parameters

ontology_or_world : None | Ontology instance | World instance | list Identifies the world to run the reasoner over. infer_property_values : bool Whether to also infer property values. debug : bool Whether to print debug info to standard output.

Source code in ontopy/factpluspluswrapper/sync_factpp.py

def sync_reasoner_factpp(
    ontology_or_world=None, infer_property_values=False, debug=1
):
    """Run FaCT++ reasoner and load the inferred relations back into
    the owlready2 triplestore.

    Parameters
    ----------
    ontology_or_world : None | Ontology instance | World instance | list
        Identifies the world to run the reasoner over.
    infer_property_values : bool
        Whether to also infer property values.
    debug : bool
        Whether to print debug info to standard output.
    """
    # pylint: disable=too-many-locals,too-many-branches,too-many-statements
    if isinstance(ontology_or_world, World):
        world = ontology_or_world
    elif isinstance(ontology_or_world, Ontology):
        world = ontology_or_world.world
    elif isinstance(ontology_or_world, Sequence):
        world = ontology_or_world[0].world
    else:
        world = owlready2.default_world

    if isinstance(ontology_or_world, Ontology):
        ontology = ontology_or_world
    elif CURRENT_NAMESPACES.get():
        ontology = CURRENT_NAMESPACES.get()[-1].ontology
    else:
        ontology = world.get_ontology(_INFERRENCES_ONTOLOGY)

    locked = world.graph.has_write_lock()
    if locked:
        world.graph.release_write_lock()  # Not needed during reasoning

    try:
        if debug:
            print("*** Prepare graph")
        # Exclude owl:imports because they are not needed and can
        # cause trouble when loading the inferred ontology
        graph1 = rdflib.Graph()
        for subject, predicate, obj in world.as_rdflib_graph().triples(
            (None, None, None)
        ):
            if predicate != OWL.imports:
                graph1.add((subject, predicate, obj))

        if debug:
            print("*** Run FaCT++ reasoner (and postprocess)")
        graph2 = FaCTPPGraph(graph1).inferred_graph()

        if debug:
            print("*** Load inferred ontology")
        # Check all rdfs:subClassOf relations in the inferred graph and add
        # them to the world if they are missing
        new_parents = defaultdict(list)
        new_equivs = defaultdict(list)
        entity_2_type = {}

        for (
            subject,
            predicate,
            obj,
        ) in graph2.triples(  # pylint: disable=not-an-iterable
            (None, None, None)
        ):
            if (
                isinstance(subject, URIRef)
                and predicate in OWL_2_TYPE
                and isinstance(obj, URIRef)
            ):
                s_storid = ontology._abbreviate(str(subject), False)
                p_storid = ontology._abbreviate(str(predicate), False)
                o_storid = ontology._abbreviate(str(obj), False)
                if (
                    s_storid is not None
                    and p_storid is not None
                    and o_storid is not None
                ):
                    if predicate in (
                        RDFS.subClassOf,
                        RDFS.subPropertyOf,
                        RDF.type,
                    ):
                        new_parents[s_storid].append(o_storid)
                        entity_2_type[s_storid] = OWL_2_TYPE[predicate]
                    else:
                        new_equivs[s_storid].append(o_storid)
                        entity_2_type[s_storid] = OWL_2_TYPE[predicate]

        if infer_property_values:
            inferred_obj_relations = []
            # Hmm, does FaCT++ infer any property values?
            # If not, remove the `infer_property_values` keyword argument.
            raise NotImplementedError

    finally:
        if locked:
            world.graph.acquire_write_lock()  # re-lock when applying results

    if debug:
        print("*** Applying reasoning results")

    _apply_reasoning_results(
        world, ontology, debug, new_parents, new_equivs, entity_2_type
    )
    if infer_property_values:
        _apply_inferred_obj_relations(
            world, ontology, debug, inferred_obj_relations
        )