Package com.clarkparsia.pellet.utils

Examples of com.clarkparsia.pellet.utils.PropertiesBuilder

1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
  @Test
  public void testIncrementalTBoxDisjointRemove4() {
    // test that a disjoint axiom absorbed into domain axiom cannot
    // be removed

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
  @Test
  public void testIncrementalTBoxDisjointRemove5() {
    // Same as testIncrementalTBoxDisjointRemove4 but
    // uses n-ary disjointness axioms

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
  @Test
  public void testIncrementalTBoxDisjointRemove6() {
    // test that a disjoint axiom absorbed into range axiom cannot
    // be removed

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
  @Test
  public void testCRonDTP() {
    // Test for ticket #143

    Properties newOptions = new PropertiesBuilder().set( "SILENT_UNDEFINED_ENTITY_HANDLING",
        "false" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      KnowledgeBase kb = new KnowledgeBase();
View Full Code Here
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
  /**
   * Tests whether PelletOptions.DISABLE_EL_CLASSIFIER can be properly read from a properties file
   */
  @Test
  public void testDisableELClassifierOptionRead() {
    Properties newOptions = new PropertiesBuilder().set( "DISABLE_EL_CLASSIFIER", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );
   
    try {
      assertTrue( PelletOptions.DISABLE_EL_CLASSIFIER );
     
      newOptions = new PropertiesBuilder().set( "DISABLE_EL_CLASSIFIER", "false" ).build();
      PelletOptions.setOptions( newOptions );
     
      assertFalse( PelletOptions.DISABLE_EL_CLASSIFIER );
    }
    finally {
View Full Code Here
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
  @Test
  public void testIncrementalTBoxDisjointRemove4() {
    // test that a disjoint axiom absorbed into domain axiom cannot
    // be removed

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
  @Test
  public void testIncrementalTBoxDisjointRemove5() {
    // Same as testIncrementalTBoxDisjointRemove4 but
    // uses n-ary disjointness axioms

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
  @Test
  public void testIncrementalTBoxDisjointRemove6() {
    // test that a disjoint axiom absorbed into range axiom cannot
    // be removed

    Properties newOptions = new PropertiesBuilder().set( "USE_TRACING", "true" ).set(
        "USE_ROLE_ABSORPTION", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );

    try {
      ATermAppl A = ATermUtils.makeTermAppl( "A" );
View Full Code Here
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
  @Test
  public void testCRonDTP() {
    // Test for ticket #143

    Properties newOptions = new PropertiesBuilder().set( "SILENT_UNDEFINED_ENTITY_HANDLING",
        "false" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );
   
    try {
      KnowledgeBase kb = new KnowledgeBase();
View Full Code Here
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
  /**
   * Tests whether PelletOptions.DISABLE_EL_CLASSIFIER can be properly read from a properties file
   */
  @Test
  public void testDisableELClassifierOptionRead() {
    Properties newOptions = new PropertiesBuilder().set( "DISABLE_EL_CLASSIFIER", "true" ).build();
    Properties savedOptions = PelletOptions.setOptions( newOptions );
   
    try {
      assertTrue( PelletOptions.DISABLE_EL_CLASSIFIER );
     
      newOptions = new PropertiesBuilder().set( "DISABLE_EL_CLASSIFIER", "false" ).build();
      PelletOptions.setOptions( newOptions );
     
      assertFalse( PelletOptions.DISABLE_EL_CLASSIFIER );
    }
    finally {
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.utils.PropertiesBuilder

  • com.clarkparsia.pellet.test.el.ELTests
  • org.mindswap.pellet.test.inctest.IncJenaConsistencyTests
  • org.mindswap.pellet.test.MiscTests
  • java.util.Properties
    • 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.