Package org.semanticweb.HermiT.structural

Examples of org.semanticweb.HermiT.structural.OWLClausification$FactClausifier

207
208
209
210
211
212
213
214
215
216
217
218
    // Life-cycle management methods

    protected void loadOntology() {
        clearState();
        // Convert OWLOntology into DLOntology
        OWLClausification clausifier=new OWLClausification(m_configuration);
        Object[] result=clausifier.preprocessAndClausify(m_rootOntology,m_descriptionGraphs);
        m_objectPropertyInclusionManager=(ObjectPropertyInclusionManager)result[0];
        m_dlOntology=(DLOntology)result[1];
        // Load the DLOntology
        m_prefixes=createPrefixes(m_dlOntology);
        m_tableau=createTableau(m_interruptFlag,m_configuration,m_dlOntology,null,m_prefixes);
View Full Code Here
1861
1862
1863
1864
1865
1866
1867
1868
1869
        OWLAxiomsExpressivity axiomsExpressivity=new OWLAxiomsExpressivity(axioms);
        axiomsExpressivity.m_hasAtMostRestrictions|=originalDLOntology.hasAtMostRestrictions();
        axiomsExpressivity.m_hasInverseRoles|=originalDLOntology.hasInverseRoles();
        axiomsExpressivity.m_hasNominals|=originalDLOntology.hasNominals();
        axiomsExpressivity.m_hasDatatypes|=originalDLOntology.hasDatatypes();
        OWLClausification clausifier=new OWLClausification(configuration);
        Set<DescriptionGraph> descriptionGraphs=Collections.emptySet();
        return clausifier.clausify(dataFactory,"uri:urn:internal-kb",axioms,axiomsExpressivity,descriptionGraphs);
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.HermiT.structural.OWLClausification$FactClausifier

  • org.semanticweb.HermiT.model.AnnotatedEquality
  • org.semanticweb.HermiT.model.AtLeastConcept
  • org.semanticweb.HermiT.model.Atom
  • org.semanticweb.HermiT.model.AtomicConcept
  • org.semanticweb.HermiT.model.AtomicRole
  • org.semanticweb.HermiT.model.Constant
  • org.semanticweb.HermiT.model.DatatypeRestriction
  • org.semanticweb.HermiT.model.DLClause
  • org.semanticweb.HermiT.model.DLClause.ClauseType
  • org.semanticweb.HermiT.model.DLOntology
    • 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.