Java OWLNegativeObjectPropertyAssertionAxiom示例

示例#1

文件： OWLObjectComponentCollector.java 项目： JPuritscher/owlapi

 @Override
 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   handleObject(axiom);
   axiom.getSubject().accept(this);
   axiom.getProperty().accept(this);
   axiom.getObject().accept(this);
 }

示例#2

文件： LatexObjectVisitor.java 项目： JPuritscher/owlapi

 @Override
 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   write(NOT);
   axiom.getProperty().accept(this);
   write("(");
   axiom.getSubject().accept(this);
   write(", ");
   axiom.getObject().accept(this);
   write(")");
 }

示例#3

文件： OWLObjectDuplicator.java 项目： rita-zgheib/owl-api

 @Override
 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   axiom.getSubject().accept(this);
   OWLIndividual ind = (OWLIndividual) obj;
   axiom.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   axiom.getObject().accept(this);
   OWLIndividual ind2 = (OWLIndividual) obj;
   obj =
       dataFactory.getOWLNegativeObjectPropertyAssertionAxiom(
           prop, ind, ind2, duplicateAxiomAnnotations(axiom));
 }

示例#4

文件： OWLClausification_withMaps.java 项目： anaarmas/PrisM

 public void visit(OWLNegativeObjectPropertyAssertionAxiom object) {
   Atom atom =
       getRoleAtom(
           object.getProperty(),
           getIndividual(object.getSubject()),
           getIndividual(object.getObject()));
   Collection<OWLAxiom> originalAxioms = m_negativeFacts_map.get(atom);
   if (originalAxioms == null) {
     originalAxioms = new ArrayList<OWLAxiom>();
     m_negativeFacts_map.put(atom, originalAxioms);
   }
   if (originalAxiom != null) originalAxioms.add(originalAxiom);
 }

示例#5

文件： SatisfiabilityConverter.java 项目： JPuritscher/owlapi

 @Override
 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   OWLClassExpression sub = oneOf(axiom.getSubject());
   OWLClassExpression sup = factory.getOWLObjectHasValue(axiom.getProperty(), axiom.getObject());
   factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this);
 }

示例#6

文件： ALCRenderer.java 项目： jmayaalv/mapo

 /*
  * (non-Javadoc)
  *
  * @see
  * org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi
  * .model.OWLNegativeObjectPropertyAssertionAxiom)
  */
 @Override
 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   sb.append(".NO (");
   axiom.accept(this);
   sb.append(")");
 }

示例#7

文件： OWLAnonymousIndividualsWithMultipleOccurrences.java 项目： Orphanet/java_ORDO

 public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
   axiom.getProperty().accept(this);
   axiom.getObject().accept(this);
   processAxiomAnnotations(axiom);
 }