Re: [OWLAPI-developer] [OWLapi--developer] : Axioms

[setareh r. <sra...@gm...>]

Thanks Martin, do you know where I can download owlapi 3?



On Wed, Oct 19, 2011 at 12:20 AM, Martin Kuba <ma...@ic...> wrote:

>  manager.loadOntologyFromOntologyDocument(IRI.create("
> http://acrab.ics.muni.cz/ontologies/srafatirad.owl"));
>         OWLDataFactory factory = manager.getOWLDataFactory();
>         OWLClass conferenceClass = factory.getOWLClass(IRI.create("
> http://www.semanticweb.org/ontologies/2011/8/Tripesl.owl#Conference"));
>         for (OWLSubClassOfAxiom ax :
> ontology.getSubClassAxiomsForSubClass(conferenceClass)) {
>             OWLClassExpression conferenceSuperClass = ax.getSuperClass();
>             if (ClassExpressionType.DATA_HAS_VALUE ==
> conferenceSuperClass.getClassExpressionType()) {
>                 OWLLiteral owlLiteral = ((OWLDataHasValue)
> conferenceSuperClass).getValue();
>                 System.out.println("SubClassOf axiom = " +
> renderer.render(ax));
>                 System.out.println("DataHasValue superclass = " +
> renderer.render(conferenceSuperClass));
>                 System.out.println("literal = " +
> renderer.render(owlLiteral));
>                 if (owlLiteral.getDatatype().isString()) {
>                     String literalValue = owlLiteral.getLiteral();
>                     System.out.println("literal string value = " +
> literalValue);
>                 }
>             }
>