/** * (19) * * DataPropertyDomain := 'DataPropertyDomain' '(' axiomAnnotations DataPropertyExpression superClassExpression ')' * * replaced by SubClassOfAxiom (rule [R2]) */ @Override public void visit(OWLDataPropertyDomainAxiom ax) { try { DataPropertyExpression role = getPropertyExpression(ax.getProperty(), builder.dataProperties()); addSubClassAxioms(role.getDomainRestriction(DatatypeImpl.rdfsLiteral), ax.getDomain()); } catch (TranslationException e) { log.warn(NOT_SUPPORTED_EXT, ax, e.getMessage()); } catch (InconsistentOntologyException e) { log.warn(INCONSISTENT_ONTOLOGY, ax); throw new RuntimeException(INCONSISTENT_ONTOLOGY_EXCEPTION_MESSAGE + ax); } }
private ClassExpression getDataSomeValuesFrom(OWLDataPropertyExpression owlDPE, OWLDataRange owlDR) throws TranslationException { OWL2Datatype owlDatatype = getCanonicalDatatype(owlDR); if (owlDatatype == null) { // rule [DT1.2] return ClassImpl.owlNothing; } else { Datatype datatype = builder.getDatatype(owlDatatype.getIRI().toString()); //if (!datatype.equals(DatatypeImpl.rdfsLiteral)) // System.err.println("QDD: " + owlDPE + "." + owlDR); DataPropertyExpression dpe = getPropertyExpression(owlDPE, builder.dataProperties()); return dpe.getDomainRestriction(datatype); } }
DataPropertyExpression prop = firstp.getProperty(); DataPropertyExpression propRep = dataPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomainRestriction(DatatypeImpl.rdfsLiteral);
DataPropertyExpression prop = firstp.getProperty(); DataPropertyExpression propRep = dataPropertyDAG.getVertex(prop).getRepresentative(); representative = propRep.getDomainRestriction(DatatypeImpl.rdfsLiteral);
DataPropertyExpression child = dataPropertyGraph.getEdgeSource(edge); DataPropertyExpression parent = dataPropertyGraph.getEdgeTarget(edge); graph.addEdge(child.getDomainRestriction(DatatypeImpl.rdfsLiteral), parent.getDomainRestriction(DatatypeImpl.rdfsLiteral));
DataPropertyExpression child = dataPropertyGraph.getEdgeSource(edge); DataPropertyExpression parent = dataPropertyGraph.getEdgeTarget(edge); graph.addEdge(child.getDomainRestriction(DatatypeImpl.rdfsLiteral), parent.getDomainRestriction(DatatypeImpl.rdfsLiteral));