Package com.clarkparsia.owlapi.explanation.io.manchester

Examples of com.clarkparsia.owlapi.explanation.io.manchester.ManchesterSyntaxExplanationRenderer.render()

74
75
76
77
78
79
80
81
82
83
84
    OWLClass petOwner = OWL.Class( NS + "pet+owner" );

    // Explain why mad cow is an unsatisfiable concept
    Set<Set<OWLAxiom>> exp = expGen.getUnsatisfiableExplanations( madCow );
    out.println( "Why is " + madCow + " concept unsatisfiable?" );   
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
   
    renderer.endRendering();
  }

  public static void main(String[] args) throws OWLOntologyCreationException, OWLException,
View Full Code Here
74
75
76
77
78
79
80
81
82
83
84
    OWLClass petOwner = OWL.Class( NS + "pet+owner" );

    // Explain why mad cow is an unsatisfiable concept
    Set<Set<OWLAxiom>> exp = expGen.getUnsatisfiableExplanations( madCow );
    out.println( "Why is " + madCow + " concept unsatisfiable?" );   
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
    renderer.render( exp );

    // Now explain why animal lover is a sub class of pet owner
    exp = expGen.getSubClassExplanations( animalLover, petOwner );
    out.println( "Why is " + animalLover + " subclass of " + petOwner + "?" );
    renderer.render( exp );
   
    renderer.endRendering();
  }

  public static void main(String[] args) throws OWLOntologyCreationException, OWLException,
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.