search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Check that the queries do not import extraneous items in the conceptual space #94

Open Mttbnchtt opened 2 months ago

Mttbnchtt commented 2 months ago

Consider the following filter:

 SELECT DISTINCT
            ?indirectly_related_iri
            ?indirectly_related_label
        WHERE {
            ?s ?p <https://www.foom.com/pappus_proofAristotle#00000000000000000014> .
            ?s
                <http://www.foom.com/mathematical_concepts#00000000000000000153>+ ?indirectly_related_iri . # has mathematical relation
            ?indirectly_related_iri
                rdfs:label ?indirectly_related_label .
            FILTER NOT EXISTS { ?s a <http://www.foom.com/core/Proof_step> . }
        }