_assertedClashes = SetUtils.create(); _doExplanation = false; _dtReasoner = new DatatypeReasonerImpl(); _keepLastCompletion = false;
_assertedClashes = SetUtils.create(); _doExplanation = false; _dtReasoner = new DatatypeReasonerImpl(); _keepLastCompletion = false;
@Before public void reset() { reasoner = new DatatypeReasonerImpl(); abox = new ABoxImpl(null); }
public RDFLints validate(final RDFModel model) { _model = model; _OWLEntities = new OWLEntityDatabase(); _OWLEntities.addAnnotationRole(RDFS.label); _OWLEntities.addAnnotationRole(RDFS.comment); _OWLEntities.addAnnotationRole(RDFS.seeAlso); _OWLEntities.addAnnotationRole(RDFS.isDefinedBy); _OWLEntities.addAnnotationRole(OWL.versionInfo); _OWLEntities.addOntologyRole(OWL.backwardCompatibleWith); _OWLEntities.addOntologyRole(OWL.priorVersion); _OWLEntities.addOntologyRole(OWL.incompatibleWith); _OWLEntities.addClass(OWL.Thing); _OWLEntities.addClass(OWL.Nothing); // Fixes #194 _OWLEntities.addDatatype(RDFS.Literal); // Fixes #457 _OWLEntities.addDatatype(ResourceFactory.createResource("http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral")); for (final ATermAppl uri : new DatatypeReasonerImpl().listDataRanges()) _OWLEntities.addDatatype(ResourceFactory.createResource(uri.getName())); _lists = CollectionUtil.makeMap(); _lists.put(RDF.nil, CollectionUtil.<RDFNode> makeList()); processTypes(); processTriples(); processRestrictions(); return reportLints(); }
@Test public void testBuiltinDatatypesWithCardinalityRestriction() { final String ns = "urn:test:"; final DatatypeReasoner dtReasoner = new DatatypeReasonerImpl(); for (final ATermAppl uri : dtReasoner.listDataRanges()) { final OntModel model = ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC); final DatatypeProperty prop = model.createDatatypeProperty(ns + "prop"); final Resource datatype = model.createResource(uri.getName()); prop.addRange(datatype); final OntClass C = model.createClass(ns + "C"); final int cardinality = datatype.equals(XSD.xboolean) ? 2 : 10; C.addSuperClass(model.createCardinalityRestriction(null, prop, cardinality)); model.createIndividual(ns + "x", C); model.prepare(); assertTrue(((PelletInfGraph) model.getGraph()).isConsistent()); } }