如何获得具有相同对象属性断言的OWLINDIVUTOAL集？

Question

我有一个本体，是使用Protegé4.3.0创建的，我将使用reasoner来检索具有相同对象属性断言的owlindividual个体。

>

本体论包含一组代表某种动物的个体（老鼠、猫、狗）。

本体包含一组与不同类（眼睛、耳朵、腿）相关联的个体（mouseEyes,mouseEars,mouseLegs,catEyes,catEars,catLegs,dogEyes,dogEars,dogLegs）。

• 个体mouseEyes、catEyes和dogEyes与类eyes相关联。
• 个体mouseEars、catEars和dogEars与类ears相关联。
• 鼠腿、猫腿和狗腿与腿类相关联。

给定mouseEys,mouseEars,mouseLegs,catEyes,catEars,catLegs,dogEyes,dogEars,dogLegs中的一个指定个体,我将检索具有相同对象属性断言的个体集。对于esample,如果指定的个体是catEyes,则推理器应该检索catEyes,catEars,Catlegs。

我如何使用推理器来完成这件事？

Answer 1

我发现OWLReasoner中的GetObjectPropertyValues方法在使用Reasoner解决问题中暴露的问题时非常有用。正如在这篇评论中指出的那样，SPARQL确实是查询模型的更好方法。

下面是我使用Reasoner实现的解决方案。

import java.io.File;
import java.util.Collections;
import java.util.HashSet;
import java.util.Set;
import java.util.TreeSet;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLObjectPropertyExpression;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyID;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.model.PrefixManager;
import org.semanticweb.owlapi.reasoner.InferenceType;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;
import org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory;
import org.semanticweb.owlapi.util.DefaultPrefixManager;


public class Fauna {
    private final static OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
    private final static OWLDataFactory df = manager.getOWLDataFactory();
    private final static OWLReasonerFactory rf = new StructuralReasonerFactory();

    private final OWLOntology ontology;
    private final OWLOntologyID id;
    private final IRI iri;
    private final PrefixManager pm;

    private final OWLReasoner reasoner;

    private final OWLObjectPropertyExpression arePartsOf;
    private final TreeSet<OWLClass> clsParts = new TreeSet<>();

    /**
     * 
     * @param file
     * @throws OWLOntologyCreationException
     */
    public Fauna(File file) throws OWLOntologyCreationException {
        ontology = manager.loadOntologyFromOntologyDocument(file);
        id = ontology.getOntologyID();
        iri = id.getOntologyIRI();
        pm = new DefaultPrefixManager(iri.toString().concat("#"));

        reasoner = rf.createReasoner(ontology);
        reasoner.precomputeInferences(InferenceType.OBJECT_PROPERTY_ASSERTIONS);

        arePartsOf = df.getOWLObjectProperty(IRI.create(iri + "#arePartsOf"));

        for (String s : new String[] { "Eyes", "Ears", "Legs" }) {
            OWLClass cls = df.getOWLClass(":" + s, pm);
            clsParts.add(cls);
        }
    }

    /**
     * 
     * @param individual
     * @return
     */
    private Set<OWLNamedIndividual> getPartsOfSameSpecies(OWLNamedIndividual individual) {
        if (!ontology.containsIndividualInSignature(individual.getIRI())) {
            return null;
        }

        Set<OWLClass> types = reasoner.getTypes(individual, true).getFlattened();
        if (Collections.disjoint(clsParts, types)) {
            return null;
        }

        Set<OWLNamedIndividual> values = reasoner.getObjectPropertyValues(individual, arePartsOf).getFlattened();
        if (values == null || values.size() != 1) {
            return null;
        }

        OWLNamedIndividual species = values.iterator().next();
        return this.getParts(species);
    }

    /**
     * 
     * @param species
     * @return
     */
    public Set<OWLNamedIndividual> getParts(OWLNamedIndividual species) {
        HashSet<OWLNamedIndividual> individuals = new HashSet<>();

        for (OWLClass cls : clsParts) {
            for (OWLIndividual i : cls.getIndividuals(ontology)) {
                OWLNamedIndividual part = i.asOWLNamedIndividual();

                if (!reasoner.getObjectPropertyValues(part, arePartsOf).containsEntity(species)) {
                    continue;
                }

                individuals.add(part);
            }
        }

        return individuals;
    }
}