public static OWLOntology Ontology(final Stream<? extends OWLAxiom> axioms, final IRI iri) { return Ontology(_manager, axioms, iri); }
public static OWLOntology Ontology(final Stream<? extends OWLAxiom> axioms, final IRI iri) { return Ontology(_manager, axioms, iri); }
public static OWLOntology Ontology(final OWLOntologyManager manager, final Collection<? extends OWLAxiom> axioms) { return Ontology(manager, axioms.stream()); }
public static OWLOntology Ontology(final OWLOntologyManager manager, final Collection<? extends OWLAxiom> axioms, final IRI iri) { return Ontology(manager, axioms.stream(), iri); }
public static OWLOntology Ontology(final Collection<? extends OWLAxiom> axioms) { return Ontology(_manager, axioms.stream()); }
public static OWLOntology Ontology(final OWLOntologyManager manager, final OWLAxiom... axioms) { return Ontology(manager, Arrays.asList(axioms)); }
public static OWLOntology Ontology(final Collection<? extends OWLAxiom> axioms, final IRI iri) { return Ontology(_manager, axioms.stream(), iri); }
public static OWLOntology Ontology(final OWLOntologyManager manager, final Stream<? extends OWLAxiom> axioms) { return Ontology(manager, axioms, IRI.create("http://www.example.org/ontology" + UUID.randomUUID())); }
@Override public void endRendering() throws IOException { final OWLOntology ontology = OWL.Ontology(_axioms); final RDFXMLRenderer renderer = new RDFXMLRenderer(ontology, new PrintWriter(_writer)); renderer.render(); } }
@Override public void endRendering() throws IOException { final OWLOntology ontology = OWL.Ontology(_axioms); final RDFXMLRenderer renderer = new RDFXMLRenderer(ontology, new PrintWriter(_writer)); renderer.render(); } }
@Override public void endRendering() throws IOException { final OWLOntology ontology = OWL.Ontology(_axioms); final RDFXMLRenderer renderer = new RDFXMLRenderer(ontology, new PrintWriter(_writer)); renderer.render(); } }
public void createReasoner(final OWLAxiom... axioms) { _manager.clearOntologies(); _ontology = OWL.Ontology(_manager, axioms); _reasoner = OpenlletReasonerFactory.getInstance().createReasoner(_ontology); }
public IncrementalClassifier(final PersistedState persistedState) { _extractor = persistedState.getModuleExtractor(); _taxonomyImpl = persistedState.getTaxonomy(); _realized = persistedState.isRealized(); _modules = _extractor.getModules(); final OWLOntology ontology = OWL.Ontology(_extractor.axioms()); _reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); _reasoner.getManager().addOntologyChangeListener(this); }
public IncrementalClassifier(final PersistedState persistedState) { _extractor = persistedState.getModuleExtractor(); _taxonomyImpl = persistedState.getTaxonomy(); _realized = persistedState.isRealized(); _modules = _extractor.getModules(); final OWLOntology ontology = OWL.Ontology(_extractor.axioms()); _reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); _reasoner.getManager().addOntologyChangeListener(this); }
@Test public void typeInheritanceWithAnonIndividual() { final OWLAxiom[] axioms = { OWL.subClassOf(_C, _D), OWL.classAssertion(_anon, _C) }; final OWLOntology ont = OWL.Ontology(axioms); final OpenlletReasoner pellet = OpenlletReasonerFactory.getInstance().createReasoner(ont); assertTrue(pellet.getInstances(_D, true).nodes().count() == 0); assertTrue(pellet.getInstances(_D, false).nodes().count() == 1); }
@Test public void testSubClassDirectParameter() { final OWLAxiom[] axioms = { OWL.subClassOf(_E, _D), OWL.subClassOf(_D, _C) }; final OWLOntology ont = OWL.Ontology(axioms); final OpenlletReasoner pellet = OpenlletReasonerFactory.getInstance().createReasoner(ont); assertTrue(pellet.getSubClasses(_C, true).nodes().count() == 1); assertTrue(pellet.getSubClasses(_C, false).nodes().count() == 3); // includes owl:Nothing }
@Test public void testPunningSingletonOneOf() { final OWLClass A = OWL.Class("A"); final OWLIndividual a = OWL.Individual("A"); final Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a))); final OWLOntology ontology = OWL.Ontology(axioms); final OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); final PelletExplanation explain = new PelletExplanation(reasoner); assertEquals(axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A))); }
@Test public void testTopBottomPropertyAssertion() { final OWLAxiom[] axioms = { OWL.propertyAssertion(_a, OWL.topObjectProperty, _b), OWL.propertyAssertion(_a, OWL.topDataProperty, _lit), OWL.propertyAssertion(_a, OWL.bottomObjectProperty, _b), OWL.propertyAssertion(_a, OWL.bottomDataProperty, _lit) }; for (int i = 0; i < axioms.length; i++) { final OWLOntology ont = OWL.Ontology(axioms[i]); final OpenlletReasoner pellet = OpenlletReasonerFactory.getInstance().createReasoner(ont); assertEquals(i < 2, pellet.isConsistent()); } }
private static OpenlletReasoner setupReasonerIndividualNodeSetPolicy(final IndividualNodeSetPolicy p) { final OWLAxiom[] axioms = { OWL.classAssertion(_a, _C), OWL.classAssertion(_b, _C), OWL.classAssertion(_c, _C), OWL.sameAs(_a, _b), OWL.differentFrom(_b, _c), OWL.differentFrom(_a, _c) }; final OWLOntology ont = OWL.Ontology(axioms); final OWLReasonerConfiguration config = new SimpleConfiguration(new NullReasonerProgressMonitor(), FreshEntityPolicy.ALLOW, Long.MAX_VALUE, p); final OpenlletReasoner pellet = OpenlletReasonerFactory.getInstance().createReasoner(ont, config); return pellet; }
public void testLuigiFamilyOWLApi() throws Exception { final OWLOntologyManager manager = OWL._manager; final OWLOntology familyRef = manager.loadOntology(IRI.create(_base + "basicFamilyReference.owl")); final OWLOntology familyRules = manager.loadOntology(IRI.create(_base + "basicFamilyRules.owl")); final OWLOntology mergedOntology = OWL.Ontology(Stream.concat(familyRef.axioms(), familyRules.axioms())); final OpenlletReasoner reasoner = openllet.owlapi.OpenlletReasonerFactory.getInstance().createReasoner(mergedOntology); final OWLIndividual nella = OWL.Individual(_luigiFamily.resolve("#Nella")); final OWLObjectProperty hasUncle = OWL.ObjectProperty(_luigiFamily.resolve("#hasUncle")); final OWLIndividual dino = OWL.Individual(_luigiFamily.resolve("#Dino")); assertFalse(reasoner.isEntailed(OWL.propertyAssertion(nella, hasUncle, dino))); }