Package org.semanticweb.owl.model

Examples of org.semanticweb.owl.model.OWLDataProperty

44
45
46
47
48
49
50
51
        this.predicate = predicate;
    }

    public void handleTriple(URI subject, URI predicate, OWLConstant object) throws OWLException {
        OWLIndividual subj = getDataFactory().getOWLIndividual(subject);
        OWLDataProperty prop = getDataFactory().getOWLDataProperty(predicate);
        addAxiom(getDataFactory().getOWLDataPropertyAssertionAxiom(subj, prop, object));
    }
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
      else if( object instanceof OWLObjectProperty ) {
        OWLObjectProperty p = (OWLObjectProperty) object;
        axiom = factory.getOWLSubObjectPropertyAxiom( p, p );
      }
      else if( object instanceof OWLDataProperty ) {
        OWLDataProperty p = (OWLDataProperty) object;
        axiom = factory.getOWLSubDataPropertyAxiom( p, p );
      }
      else if( object instanceof OWLIndividual ) {
        OWLIndividual ind = (OWLIndividual) object;
        axiom = factory.getOWLClassAssertionAxiom( ind, factory.getOWLThing() );
View Full Code Here
393
394
395
396
397
398
399
400
401
402
403
404
405
    OWLOntology ont = loadOntology( base + "RemoveLiteral.owl" );

    Reasoner reasoner = new Reasoner( OWL.manager );
    reasoner.setOntology( ont );

    OWLDataProperty pInt = DataProperty( ns + "pInt" );
    OWLDataProperty pDouble = DataProperty( ns + "pDouble" );
    OWLDataProperty pBoolean = DataProperty( ns + "pBoolean" );

    OWLIndividual ind = Individual( ns + "ind1" );

    OWLConstant valDouble = ind.getDataPropertyValues( ont ).get(pDouble).iterator().next();
    OWLConstant valInt = ind.getDataPropertyValues( ont ).get(pInt).iterator().next();
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
306
307
308
  public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
    isEntailed = true;
 
    Iterator<OWLDataPropertyExpression> i = axiom.getProperties().iterator();
    if( i.hasNext() ) {
      OWLDataProperty first = (OWLDataProperty) i.next();

      while( i.hasNext() && isEntailed ) {
        OWLDataProperty next = (OWLDataProperty) i.next();

        isEntailed = reasoner.isEquivalentProperty( first, next );
      }
    }
  }
View Full Code Here
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
    }

    Object[] disjs = axiom.getProperties().toArray();
    for( int i = 0; i < disjs.length; i++ ) {
      for( int j = i + 1; j < disjs.length; j++ ) {
        OWLDataProperty desc1 = (OWLDataProperty) disjs[i];
        OWLDataProperty desc2 = (OWLDataProperty) disjs[j];
        desc1.accept( this );
        ATermAppl p1 = term;
        desc2.accept( this );
        ATermAppl p2 = term;

        kb.addDisjointProperty( p1, p2 );
      }
    }
View Full Code Here
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
              .convert( (ATermAppl) term.getArgument( 0 ) );
          if( p != null )
            axiom = factory.getOWLObjectPropertyRangeAxiom( p, (OWLDescription) e );
        }
        else {
          OWLDataProperty p = (OWLDataProperty) conceptConverter
              .convert( (ATermAppl) term.getArgument( 0 ) );
          if( p != null )
            axiom = factory.getOWLDataPropertyRangeAxiom( p, (OWLDataRange) e );
        }
      }
    }
    else if( term.getAFun().equals( ATermUtils.INVPROPFUN ) ) {
      OWLObjectProperty p1 = (OWLObjectProperty) conceptConverter.convert( (ATermAppl) term
          .getArgument( 0 ) );
      OWLObjectProperty p2 = (OWLObjectProperty) conceptConverter.convert( (ATermAppl) term
          .getArgument( 1 ) );

      if( p1 != null && p2 != null )
        axiom = factory.getOWLInverseObjectPropertiesAxiom( p1, p2 );
    }
    else if( term.getAFun().equals( ATermUtils.TRANSITIVEFUN ) ) {
      OWLObjectProperty p = (OWLObjectProperty) conceptConverter.convert( (ATermAppl) term
          .getArgument( 0 ) );

      if( p != null )
        axiom = factory.getOWLTransitiveObjectPropertyAxiom( p );
    }
    else if( term.getAFun().equals( ATermUtils.FUNCTIONALFUN ) ) {
      OWLObject p = conceptConverter.convert( (ATermAppl) term.getArgument( 0 ) );

      if( p != null ) {
        if( p instanceof OWLObjectProperty )
          axiom = factory
              .getOWLFunctionalObjectPropertyAxiom( (OWLObjectPropertyExpression) p );
        else if( p instanceof OWLDataProperty )
          axiom = factory
              .getOWLFunctionalDataPropertyAxiom( (OWLDataPropertyExpression) p );
      }
    }
    else if( term.getAFun().equals( ATermUtils.INVFUNCTIONALFUN ) ) {
      OWLObjectProperty p = (OWLObjectProperty) conceptConverter.convert( (ATermAppl) term
          .getArgument( 0 ) );

      if( p != null )
        axiom = factory.getOWLInverseFunctionalObjectPropertyAxiom( p );
    }
    else if( term.getAFun().equals( ATermUtils.SYMMETRICFUN ) ) {
      OWLObject p = conceptConverter.convert( (ATermAppl) term.getArgument( 0 ) );

      if( p != null && p instanceof OWLObjectPropertyExpression )
        axiom = factory
            .getOWLSymmetricObjectPropertyAxiom( (OWLObjectPropertyExpression) p );
    }
    else if( term.getAFun().equals( ATermUtils.ASYMMETRICFUN ) ) {
      OWLObject p = conceptConverter.convert( (ATermAppl) term.getArgument( 0 ) );

      if( p != null && p instanceof OWLObjectPropertyExpression )
        axiom = factory
            .getOWLAntiSymmetricObjectPropertyAxiom( (OWLObjectPropertyExpression) p );
    }
    else if( term.getAFun().equals( ATermUtils.REFLEXIVEFUN ) ) {
      OWLObject p = conceptConverter.convert( (ATermAppl) term.getArgument( 0 ) );

      if( p != null && p instanceof OWLObjectPropertyExpression )
        axiom = factory
            .getOWLReflexiveObjectPropertyAxiom( (OWLObjectPropertyExpression) p );
    }
    else if( term.getAFun().equals( ATermUtils.IRREFLEXIVEFUN ) ) {
      OWLObject p = conceptConverter.convert( (ATermAppl) term.getArgument( 0 ) );

      if( p != null && p instanceof OWLObjectPropertyExpression )
        axiom = factory
            .getOWLIrreflexiveObjectPropertyAxiom( (OWLObjectPropertyExpression) p );
    }
    else if( term.getAFun().equals( ATermUtils.TYPEFUN ) ) {
      OWLIndividual i = (OWLIndividual) conceptConverter.convert( (ATermAppl) term
          .getArgument( 0 ) );
      OWLDescription c = (OWLDescription) conceptConverter.convert( (ATermAppl) term
          .getArgument( 1 ) );

      if( i != null && c != null )
        axiom = factory.getOWLClassAssertionAxiom( i, c );
    }
    else if( term.getAFun().equals( ATermUtils.PROPFUN ) ) {
      OWLIndividual subj = (OWLIndividual) conceptConverter.convert( (ATermAppl) term.getArgument( 1 ) );

      if( subj == null )
        axiom = null;
      else if( ATermUtils.isLiteral( (ATermAppl) term.getArgument( 2 ) ) ) {
        OWLDataProperty pred = (OWLDataProperty) conceptConverter.convert( (ATermAppl) term
            .getArgument( 0 ) );
        OWLConstant obj = (OWLConstant) conceptConverter.convert( (ATermAppl) term
            .getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLDataPropertyAssertionAxiom( subj, pred, obj );
      }
      else {
        OWLObjectProperty pred = (OWLObjectProperty) conceptConverter
            .convert( (ATermAppl) term.getArgument( 0 ) );
        OWLIndividual obj = (OWLIndividual) conceptConverter.convert( (ATermAppl) term.getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLObjectPropertyAssertionAxiom( subj, pred, obj );
      }
    }
    else if( term.getAFun().equals( ATermUtils.NOTFUN )
        && ((ATermAppl) term.getArgument( 0 )).getAFun().equals( ATermUtils.PROPFUN ) ) {
      term = (ATermAppl) term.getArgument( 0 );
      OWLIndividual subj = (OWLIndividual) conceptConverter.convert( (ATermAppl) term
          .getArgument( 1 ) );

      if( subj == null )
        axiom = null;
      else if( ATermUtils.isLiteral( (ATermAppl) term.getArgument( 2 ) ) ) {
        OWLDataProperty pred = (OWLDataProperty) conceptConverter.convert( (ATermAppl) term
            .getArgument( 0 ) );
        OWLConstant obj = (OWLConstant) conceptConverter.convert( (ATermAppl) term
            .getArgument( 2 ) );
        if( pred != null && obj != null )
          axiom = factory.getOWLNegativeDataPropertyAssertionAxiom( subj, pred, obj );
View Full Code Here
471
472
473
474
475
476
477
478
479
480
481
        OWLObjectProperty op = factory.getOWLObjectProperty( URI.create( p.getName() ) );
        atom = factory.getSWRLObjectPropertyAtom( op, io1, io2 );
      }
      else if( kb.isDatatypeProperty( p ) ) {
        SWRLAtomDObject do2 = parseToAtomDObject( i2 );
        OWLDataProperty dp = factory.getOWLDataProperty( URI.create( p.getName() ) );
        atom = factory.getSWRLDataValuedPropertyAtom( dp, io1, do2 );
      }
    }
    else if( term.getAFun().equals( ATermUtils.SAMEASFUN ) ) {
      ATermAppl i1 = (ATermAppl) term.getArgument( 0 );
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
            OWLRestrictedDataRangeFacetVocabulary.MIN_EXCLUSIVE, 1);
    OWLDataRangeRestriction dataRangeRestriction = factory
        .getOWLDataRangeRestriction(dataRange,
            dataRangeFacetRestriction);

    OWLDataProperty p = factory.getOWLDataProperty(URI
        .create("http://example#p"));
    OWLDataSomeRestriction dataSomeRestriction = factory
        .getOWLDataSomeRestriction(p, dataRangeRestriction);

    OWLClass c = factory.getOWLClass(URI.create("http://example#c"));
View Full Code Here
TOP

Related Classes of org.semanticweb.owl.model.OWLDataProperty

  • com.clarkparsia.pellet.test.owlapi.OWLAPITests
  • org.coode.owl.rdfxml.parser.SKOSDataTripleHandler
  • org.mindswap.pellet.owlapi.AxiomConverter
  • org.mindswap.pellet.owlapi.EntailmentChecker
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.test.OWLAPIObjectConversionTests
  • org.mindswap.pellet.test.TestIsClass
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.