@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getObjectProperties(); } });
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getObjectProperties(); } });
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getObjectProperties(); } });
public static void printCounts(final KnowledgeBase kb) { final int classCount = kb.getClasses().size(); final int objPropertyCount = kb.getObjectProperties().size(); final int dataPropertyCount = kb.getDataProperties().size(); System.out.println("Expressivity : " + kb.getExpressivity()); System.out.println("Classes : " + classCount); System.out.println("Obj Properties : " + objPropertyCount); System.out.println("Data Properties: " + dataPropertyCount); printCounts(kb.getABox()); } }
pCount = _kb.getProperties().size(); opCount = _kb.getObjectProperties().size(); dpCount = _kb.getDataProperties().size(); fpCount = _kb.getFunctionalProperties().size();
pCount = _kb.getProperties().size(); opCount = _kb.getObjectProperties().size(); dpCount = _kb.getDataProperties().size(); fpCount = _kb.getFunctionalProperties().size();
@Test public void testInvalidTransitivity2() { final KBLoader[] loaders = { new JenaLoader() }; for (final KBLoader loader : loaders) { final KnowledgeBase kb = loader.createKB(_base + "invalidTransitivity.owl"); for (final Role r : kb.getRBox().getRoles().values()) if (!ATermUtils.isBuiltinProperty(r.getName())) { assertTrue(r.toString(), r.isSimple()); assertFalse(r.toString(), r.isTransitive()); } for (final ATermAppl p : kb.getObjectProperties()) if (!ATermUtils.isBuiltinProperty(p)) assertFalse(p.toString(), kb.isTransitiveProperty(p)); } }
else if (!_plan.getQuery().getDistVarsForType(VarType.LITERAL).contains(pvIL)) propertyCandidates = _kb.getObjectProperties(); runAllPropertyChecks(current, arguments.get(0), _kb.getObjectProperties(), binding); break;
else if (!_plan.getQuery().getDistVarsForType(VarType.LITERAL).contains(pvIL)) propertyCandidates = _kb.getObjectProperties(); runAllPropertyChecks(current, arguments.get(0), _kb.getObjectProperties(), binding); break;
else if (!_plan.getQuery().getDistVarsForType(VarType.LITERAL).contains(pvIL)) propertyCandidates = _kb.getObjectProperties(); runAllPropertyChecks(current, arguments.get(0), _kb.getObjectProperties(), binding); break;
@Test public void testInvalidTransitivity2() { final OWLOntology ont = loadOntology(OWLManager.createOWLOntologyManager(), _base + "invalidTransitivity.owl"); final OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ont); final KnowledgeBase kb = reasoner.getKB(); kb.prepare(); for (final Role r : kb.getRBox().getRoles().values()) if (!ATermUtils.isBuiltinProperty(r.getName())) { assertTrue(r.toString(), r.isSimple()); assertFalse(r.toString(), r.isTransitive()); } for (final ATermAppl p : kb.getObjectProperties()) if (!ATermUtils.isBuiltinProperty(p)) assertFalse(p.toString(), kb.isTransitiveProperty(p)); }
assertEquals(2 + 1, kb.getObjectProperties().size()); assertFalse(kb.isAnnotationProperty(ATermUtils.makeTermAppl(ns + "q"))); assertFalse(kb.isDatatypeProperty(ATermUtils.makeTermAppl(ns + "q")));