OWLFull

Axioms for OWL-Full via RDF bridge.

INCOMPLETE!

Corresponds to OWL 2 RL Docs

eq_ref(s, p, o)

EQ REF axiom

Parameters:

Name	Type	Description	Default
s	Node		required
p	Node		required
o	Node		required

Returns:

Type	Description

Source code in src/typedlogic/integrations/frameworks/rdflib/owlfull.py

@axiom
def eq_ref(s: Node, p: Node, o: Node):
    """
    EQ REF axiom

    :param s:
    :param p:
    :param o:
    :return:
    """
    assert Triple(s, p, o) >> And(
        Triple(s, OWL_SAME_AS, s),
        Triple(p, OWL_SAME_AS, p),
        Triple(o, OWL_SAME_AS, o),
    )