中文XML论坛--一个关于jena dig interface的问题，大虾别骂哦，小弟真心请教

贴子主题：一个关于jena dig interface的问题，大虾别骂哦，小弟真心请教

本主题类别:

先把jena文档里面的那个例子搞出来

package test;

import com.hp.hpl.jena.ontology.OntModel;
import com.hp.hpl.jena.ontology.OntModelSpec;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.rdf.model.Resource;
import com.hp.hpl.jena.rdf.model.StmtIterator;
import com.hp.hpl.jena.reasoner.ReasonerRegistry;
import com.hp.hpl.jena.reasoner.dig.DIGReasoner;
import com.hp.hpl.jena.reasoner.dig.DIGReasonerFactory;
import com.hp.hpl.jena.vocabulary.ReasonerVocabulary;
import com.hp.hpl.jena.vocabulary.OWL;

public class DIGExample
{
  public static void main( String[] args ) {
    // set up a configuration resource to connect to the reasoner
    // on port 2004 on the local system
    Model cModel = ModelFactory.createDefaultModel();
    Resource conf = cModel.createResource();
    conf.addProperty( ReasonerVocabulary.EXT_REASONER_URL,
                      cModel.createResource( "http://localhost:8080" ) );

    // create the reasoner factory and the reasoner
    DIGReasonerFactory drf = (DIGReasonerFactory) ReasonerRegistry.theRegistry()
                                                                  .getFactory( DIGReasonerFactory.URI );
    DIGReasoner r = (DIGReasoner) drf.create( conf );

    // now make a model
    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );
    spec.setReasoner( r );
    OntModel m = ModelFactory.createOntologyModel( spec, null );

    // load an input document
    m.read( "file:data/koala.owl" );

    // list the inconsistent classes
    StmtIterator i = m.listStatements( null, OWL.equivalentClass, OWL.Nothing );
    while (i.hasNext()) {
        System.out.println( "Class " + i.nextStatement().getSubject().getLocalName() + " is unsatisfiable" );
    }

}
}

这个例子是把所有没有equivalentClass的class列出来

我试着想把所有的equivalentClass成对列出来

可是不知道那个StmtIterator i = m.listStatements( null, OWL.equivalentClass, OWL.Nothing );语句里面的规则像这种要求怎么实现？

要是太简单，懒得讲详细，那么有讲解相关的文档么？俺自己看也行

再深入一步，就是找互相的从属关系，这样就能实现像racer里面的在protege里面的推理了，classify taxonomy


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	62.500ms