Package com.clarkparsia.pellet.datatypes

Examples of com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl

193
194
195
196
197
198
199
200
201
202
203
    nodes = new HashMap<ATermAppl, Node>();
    nodeList = new ArrayList<ATermAppl>();
    clash = null;
    assertedClashes = new HashSet<Clash>();
    doExplanation = false;
    dtReasoner = new DatatypeReasonerImpl();
    keepLastCompletion = false;

    setBranch( DependencySet.NO_BRANCH );
    branches = new ArrayList<Branch>();
    setDisjBranchStats( new HashMap<ATermAppl, int[]>() );
View Full Code Here
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
  @Test
  public void testBuiltinDatatypesWithCardinalityRestriction() {
    String ns = "urn:test:";

    DatatypeReasoner dtReasoner = new DatatypeReasonerImpl();
    for( ATermAppl uri : dtReasoner.listDataRanges() ) {
      OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
      DatatypeProperty prop = model.createDatatypeProperty( ns + "prop" );
      Resource datatype = model.createResource( uri.getName() );
      prop.addRange( datatype );
      OntClass C = model.createClass( ns + "C" );
View Full Code Here
193
194
195
196
197
198
199
200
201
202
203
    nodes = new HashMap<ATermAppl, Node>();
    nodeList = new ArrayList<ATermAppl>();
    clash = null;
    assertedClashes = new HashSet<Clash>();
    doExplanation = false;
    dtReasoner = new DatatypeReasonerImpl();
    keepLastCompletion = false;

    setBranch( DependencySet.NO_BRANCH );
    branches = new ArrayList<Branch>();
    setDisjBranchStats( new HashMap<ATermAppl, int[]>() );
View Full Code Here
176
177
178
179
180
181
182
183
    assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }

  @Before
  public void reset() {
    reasoner = new DatatypeReasonerImpl();
    abox = new ABox(null);
  }
View Full Code Here
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
  @Test
  public void testBuiltinDatatypesWithCardinalityRestriction() {
    String ns = "urn:test:";

    DatatypeReasoner dtReasoner = new DatatypeReasonerImpl();
    for( ATermAppl uri : dtReasoner.listDataRanges() ) {
      OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
      DatatypeProperty prop = model.createDatatypeProperty( ns + "prop" );
      Resource datatype = model.createResource( uri.getName() );
      prop.addRange( datatype );
      OntClass C = model.createClass( ns + "C" );
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
    m_OWLEntities.addDatatype( RDFS.Literal );
   
    // Fixes #457
    m_OWLEntities.addDatatype( ResourceFactory.createResource("http://www.w3.org/1999/02/22-rdf-syntax-ns#PlainLiteral"));
   
    for( ATermAppl uri : new DatatypeReasonerImpl().listDataRanges() ) {
      m_OWLEntities.addDatatype( ResourceFactory.createResource( uri.getName() ) );
    }

    m_Lists = CollectionUtil.makeMap();
    m_Lists.put( RDF.nil, CollectionUtil.<RDFNode> makeList() );
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl

  • aterm.ATermAppl
  • aterm.ATermList
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
  • com.clarkparsia.pellint.rdfxml.OWLSyntaxChecker
  • org.mindswap.pellet.ABox
  • org.mindswap.pellet.test.JenaTests
  • com.clarkparsia.pellet.datatypes.exceptions.InvalidConstrainingFacetException
  • com.clarkparsia.pellet.datatypes.exceptions.InvalidLiteralException
  • com.clarkparsia.pellet.datatypes.exceptions.UnrecognizedDatatypeException
    • 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.