Ejemplos de OWLNegativeDataPropertyAssertionAxiom en Java

Ejemplo n.º 1

Archivo: OWLObjectComponentCollector.java Proyecto: JPuritscher/owlapi

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

Ejemplo n.º 2

Archivo: LatexObjectVisitor.java Proyecto: JPuritscher/owlapi

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

Ejemplo n.º 3

Archivo: OWLClausification_withMaps.java Proyecto: anaarmas/PrisM

 public void visit(OWLNegativeDataPropertyAssertionAxiom object) {
   Constant targetValue = (Constant) object.getObject().accept(m_dataRangeConverter);
   Atom atom =
       getRoleAtom(object.getProperty(), getIndividual(object.getSubject()), targetValue);
   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);
 }

Ejemplo n.º 4

Archivo: OWLObjectDuplicator.java Proyecto: rita-zgheib/owl-api

 @Override
 public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
   axiom.getSubject().accept(this);
   OWLIndividual ind = (OWLIndividual) obj;
   axiom.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   axiom.getObject().accept(this);
   OWLLiteral con = (OWLLiteral) obj;
   obj =
       dataFactory.getOWLNegativeDataPropertyAssertionAxiom(
           prop, ind, con, duplicateAxiomAnnotations(axiom));
 }

Ejemplo n.º 5

Archivo: SatisfiabilityConverter.java Proyecto: JPuritscher/owlapi

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

Ejemplo n.º 6

Archivo: DLExpressivityChecker.java Proyecto: Orphanet/java_ORDO

 @Override
 public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
   axiom.getProperty().accept(this);
 }

Ejemplo n.º 7

Archivo: OWLObjectTypeIndexProvider.java Proyecto: juyingnan/OpenOME

 public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }

Ejemplo n.º 8

Archivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Proyecto: Orphanet/java_ORDO

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