Как да добавите индивид към клас с помощта на OWL API?

Искам да добавя индивид към клас и посочих документа в официалния сайт на OWL API.

Ето моят код.

public void addIndividualsToClass(String className, String indName) throws OWLOntologyStorageException{
    /*
     * Add an individual to input class
     */
    OWLClass tClass = fac.getOWLClass(IRI.create(NS + className));
    OWLNamedIndividual tIndividual = fac.getOWLNamedIndividual(IRI.create(NS + indName));
    OWLClassAssertionAxiom classAssertion = fac.getOWLClassAssertionAxiom(tClass, tIndividual);
    manager.addAxiom(ont, classAssertion);
    manager.saveOntology(ont, new StreamDocumentTarget(new ByteArrayOutputStream()));
}

След това eclipse хвърля това изключение.

Exception in thread "main" java.lang.IllegalArgumentException: Comparison method violates its general contract!
at java.util.ComparableTimSort.mergeLo(ComparableTimSort.java:714)
at java.util.ComparableTimSort.mergeAt(ComparableTimSort.java:451)
at java.util.ComparableTimSort.mergeCollapse(ComparableTimSort.java:376)
at java.util.ComparableTimSort.sort(ComparableTimSort.java:182)
at java.util.ComparableTimSort.sort(ComparableTimSort.java:146)
at java.util.Arrays.sort(Arrays.java:472)
at java.util.Collections.sort(Collections.java:155)
at org.coode.owlapi.owlxml.renderer.OWLXMLObjectRenderer.visit(OWLXMLObjectRenderer.java:184)
at uk.ac.manchester.cs.owl.owlapi.OWLOntologyImpl.accept(OWLOntologyImpl.java:1630)
at org.coode.owlapi.owlxml.renderer.OWLXMLRenderer.render(OWLXMLRenderer.java:106)
at org.coode.owlapi.owlxml.renderer.OWLXMLOntologyStorer.storeOntology(OWLXMLOntologyStorer.java:73)
at org.semanticweb.owlapi.util.AbstractOWLOntologyStorer.storeOntology(AbstractOWLOntologyStorer.java:174)
at uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.saveOntology(OWLOntologyManagerImpl.java:870)
at uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.saveOntology(OWLOntologyManagerImpl.java:861)
at Test.addIndividualsToClass(Test.java:146)
at Test.main(Test.java:155)

може ли някой да ми помогне


ontology owl-api
person Gohome    schedule 04.03.2013    source източник
comment
Здравейте, успяхте ли да разрешите този проблем? Получавам същата грешка :/   -  person Proceso    schedule 14.10.2013
comment
Що се отнася до IllegalArgumentException, това се дължи на грешка в OWLAPI сортирането на аксиоми за изобразяване, която се постига, когато работи с Java 7, но не и с Java 6. Поправено е в последните версии, като се започне с 3.4.8, ако си спомням правилно.   -  person Ignazio    schedule 19.12.2013

Отговори (2)


arrow_upward
2
arrow_downward

Това трябва да работи. Трябва да разгледате Examples.java на страницата на OWL-API на http://owlapi.sourceforge.net/index.html

public static void createNewOnto() throws OWLOntologyCreationException,
        OWLOntologyStorageException {
    OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
    IRI ontologyIRI = IRI.create("http://example.com/owlapi/families");
    OWLOntology ont = manager.createOntology(ontologyIRI);
    OWLDataFactory factory = manager.getOWLDataFactory();

    OWLIndividual john = factory.getOWLNamedIndividual(IRI
            .create(ontologyIRI + "#John"));
    OWLIndividual mary = factory.getOWLNamedIndividual(IRI
            .create(ontologyIRI + "#Mary"));
    OWLIndividual susan = factory.getOWLNamedIndividual(IRI
            .create(ontologyIRI + "#Susan"));
    OWLIndividual bill = factory.getOWLNamedIndividual(IRI
            .create(ontologyIRI + "#Bill"));

    OWLObjectProperty hasWife = factory.getOWLObjectProperty(IRI
            .create(ontologyIRI + "#hasWife"));

    OWLObjectPropertyAssertionAxiom axiom1 = factory
            .getOWLObjectPropertyAssertionAxiom(hasWife, john, mary);

    AddAxiom addAxiom1 = new AddAxiom(ont, axiom1);
    // Now we apply the change using the manager.
    manager.applyChange(addAxiom1);

    System.out.println("RDF/XML: ");
    manager.saveOntology(ont, new StreamDocumentTarget(System.out));

}
person Ivan Viktorovic    schedule 06.03.2013

arrow_upward
0
arrow_downward

само споменавайки, че някои примери и методи са отхвърлени

person GGEv    schedule 06.04.2019