我试图从推理(隐士1.3.8.4)和OWLApi(3.4.10)中检索属性断言。 在这张照片中,我想找回" isGrandfather Sandro,是爷爷塞尔吉奥"。
Picture - object property assertions
我尝试使用Ignazio的答案:https://stackoverflow.com/a/37497541/3760251
使用Horridge示例,但OWL API更改了签名,我不知道如何使用它。 https://www.javatips.net/api/Owl-master/owlapi-master/tools/src/main/java/org/semanticweb/owlapi/util/InferredSubObjectPropertyAxiomGenerator.java
所以,如果你有一个来自InferredObjectPropertyAxiomGenerator的addAxioms方法的例子我很感激。
InferredObjectPropertyAxiomGenerator generator = new InferredObjectPropertyAxiomGenerator(){ @覆盖 protected void addAxioms(OWLEntity实体,OWLReasoner推理器,OWLDataFactory dataFactory,Set result){ } }
谢谢,
答案 0 :(得分:1)
我在Ignazio的https://github.com/owlcs/owlapi/issues/643
中找到了一个很棒的代码我对您的代码进行了细微更改,并使用OWLAPI 4.3.1-SNAPSHOT和HermiT 1.3.8.431-SNAPSHOT运行它(这些版本包含问题#646中详述的修订)
输出文件包含对象属性:
public static void main(String[] args) throws Exception {
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
OWLOntology ontology = manager.loadOntology(
IRI.create("https://raw.githubusercontent.com/owlcs/pizza-ontology/master/pizza.owl"));
OWLDataFactory df = manager.getOWLDataFactory();
Configuration configuration = new Configuration();
configuration.ignoreUnsupportedDatatypes = true;
ReasonerFactory rf = new ReasonerFactory();
OWLReasoner reasoner = rf.createReasoner(ontology, configuration);
boolean consistencyCheck = reasoner.isConsistent();
if (consistencyCheck) {
reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY,
InferenceType.CLASS_ASSERTIONS, InferenceType.OBJECT_PROPERTY_HIERARCHY,
InferenceType.DATA_PROPERTY_HIERARCHY, InferenceType.OBJECT_PROPERTY_ASSERTIONS);
List<InferredAxiomGenerator<? extends OWLAxiom>> generators = new ArrayList<>();
generators.add(new InferredSubClassAxiomGenerator());
generators.add(new InferredClassAssertionAxiomGenerator());
generators.add(new InferredDataPropertyCharacteristicAxiomGenerator());
generators.add(new InferredEquivalentClassAxiomGenerator());
generators.add(new InferredEquivalentDataPropertiesAxiomGenerator());
generators.add(new InferredEquivalentObjectPropertyAxiomGenerator());
generators.add(new InferredInverseObjectPropertiesAxiomGenerator());
generators.add(new InferredObjectPropertyCharacteristicAxiomGenerator());
// NOTE: InferredPropertyAssertionGenerator significantly slows down
// inference computation
generators.add(new org.semanticweb.owlapi.util.InferredPropertyAssertionGenerator());
generators.add(new InferredSubClassAxiomGenerator());
generators.add(new InferredSubDataPropertyAxiomGenerator());
generators.add(new InferredSubObjectPropertyAxiomGenerator());
List<InferredIndividualAxiomGenerator<? extends OWLIndividualAxiom>> individualAxioms =
new ArrayList<>();
generators.addAll(individualAxioms);
generators.add(new InferredDisjointClassesAxiomGenerator());
InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner, generators);
OWLOntology inferredAxiomsOntology = manager.createOntology();
iog.fillOntology(df, inferredAxiomsOntology);
File inferredOntologyFile = new File("output.txt");
// Now we create a stream since the ontology manager can then write to that stream.
try (OutputStream outputStream = new FileOutputStream(inferredOntologyFile)) {
// We use the same format as for the input ontology.
manager.saveOntology(inferredAxiomsOntology, outputStream);
}
} // End if consistencyCheck
else {
System.out.println("Inconsistent input Ontology, Please check the OWL File");
}
}