/** * Add type triples and the owl:onProperty triples for an OWLRestriction. * * @param desc The restriction * @param property property */ private void addRestrictionCommonTriplePropertyRange(OWLRestriction desc, OWLPropertyExpression property) { translateAnonymousNode(desc); addTriple(desc, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); addTriple(desc, OWL_ON_PROPERTY.getIRI(), property); }
@Override public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_IRREFLEXIVE_PROPERTY.getIRI()); }
/** * Determines if this IRI is equal to the IRI that {@code owl:Nothing} is named with. * * @return {@code true} if this IRI is equal to <http://www.w3.org/2002/07/owl#Nothing> * and otherwise {@code false} */ public boolean isNothing() { return equals(OWLRDFVocabulary.OWL_NOTHING.getIRI()); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_SYMMETRIC_PROPERTY.getIRI()); }
@Override public void visit(OWLFunctionalObjectPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_FUNCTIONAL_PROPERTY.getIRI()); }
@Override public void visit(OWLObjectUnionOf ce) { translateAnonymousNode(ce); addTriple(ce, RDF_TYPE.getIRI(), OWL_CLASS.getIRI()); addListTriples(ce, OWL_UNION_OF.getIRI(), ce.operands()); }
@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_INVERSE_FUNCTIONAL_PROPERTY.getIRI()); }
/** * Determines if this IRI is equal to the IRI that {@code owl:Nothing} is named with. * * @return {@code true} if this IRI is equal to <http://www.w3.org/2002/07/owl#Nothing> * and otherwise {@code false} */ public boolean isNothing() { return equals(OWLRDFVocabulary.OWL_NOTHING.getIRI()); }
@Override public void visit(OWLDataUnionOf node) { translateAnonymousNode(node); addTriple(node, RDF_TYPE.getIRI(), RDFS_DATATYPE.getIRI()); addListTriples(node, OWL_UNION_OF.getIRI(), node.operands()); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_FUNCTIONAL_PROPERTY.getIRI()); }
@Override public void visit(OWLDataOneOf node) { translateAnonymousNode(node); addTriple(node, RDF_TYPE.getIRI(), RDFS_DATATYPE.getIRI()); addListTriples(node, OWL_ONE_OF.getIRI(), node.values()); }
@Override public void visit(OWLReflexiveObjectPropertyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getProperty(), RDF_TYPE.getIRI(), OWL_REFLEXIVE_PROPERTY.getIRI()); }
@Override public void visit(OWLDataOneOf node) { translateAnonymousNode(node); addTriple(node, RDF_TYPE.getIRI(), RDFS_DATATYPE.getIRI()); addListTriples(node, OWL_ONE_OF.getIRI(), node.values()); }