Java OWLAxiom.accept方法代碼示例

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
public void processAxioms(Collection<? extends OWLAxiom> axioms) {
    AxiomVisitor axiomVisitor=new AxiomVisitor();
    for (OWLAxiom axiom : axioms)
        axiom.accept(axiomVisitor);
    // now all axioms are in NNF and converted into disjunctions wherever possible
    // exact cardinalities are rewritten into at least and at most cardinalities etc
    // Rules with multiple head atoms are rewritten into several rules (Lloyd-Topor transformation)

    // normalize rules, this might add new concept and data range inclusions
    // in case a rule atom uses a complex concept or data range
    // we keep this inclusions separate because they are only applied to named individuals
    RuleNormalizer ruleNormalizer=new RuleNormalizer(m_axioms.m_rules,axiomVisitor.m_classExpressionInclusionsAsDisjunctions,axiomVisitor.m_dataRangeInclusionsAsDisjunctions);
    for (SWRLRule rule : axiomVisitor.m_rules)
        ruleNormalizer.visit(rule);

    // in normalization, we now simplify the disjuncts where possible (eliminate
    // unnecessary conjuncts/disjuncts) and introduce fresh atomic concepts for complex
    // concepts m_axioms.m_conceptInclusions contains the normalized axioms after the normalization
    normalizeInclusions(axiomVisitor.m_classExpressionInclusionsAsDisjunctions,axiomVisitor.m_dataRangeInclusionsAsDisjunctions);
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
public void processAxioms(Collection<? extends OWLAxiom> axioms) {
    AxiomVisitor axiomVisitor=new AxiomVisitor();

    for (OWLAxiom axiom : axioms) {
    	axiom = preprocessAssertion(axiom);
		axiom.accept(axiomVisitor);
    }

    // now all axioms are in NNF and converted into disjunctions wherever possible
    // exact cardinalities are rewritten into at least and at most cardinalities etc
    // Rules with multiple head atoms are rewritten into several rules (Lloyd-Topor transformation)

    // normalize rules, this might add new concept and data range inclusions
    // in case a rule atom uses a complex concept or data range
    // we keep this inclusions separate because they are only applied to named individuals
    RuleNormalizer ruleNormalizer=new RuleNormalizer(m_axioms.m_rules,axiomVisitor.m_classExpressionInclusionsAsDisjunctions,axiomVisitor.m_dataRangeInclusionsAsDisjunctions);
    for (SWRLRule rule : axiomVisitor.m_rules)
        ruleNormalizer.visit(rule);

    // in normalization, we now simplify the disjuncts where possible (eliminate
    // unnecessary conjuncts/disjuncts) and introduce fresh atomic concepts for complex
    // concepts m_axioms.m_conceptInclusions contains the normalized axioms after the normalization
    normalizeInclusions(axiomVisitor.m_classExpressionInclusionsAsDisjunctions,axiomVisitor.m_dataRangeInclusionsAsDisjunctions);
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
public void parse() {
    final IntegrityConstraintParser parser = new IntegrityConstraintParser();
    for (final OWLAxiom a : axioms) {
        a.accept(parser);
    }
    this.set = parser.getClassIntegrityConstraintSet();
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
/**
 * Checks entailment of a set of axioms (an ontology) against the loaded ontology.
 *
 * @param axioms
 *            the axioms that should be checked for enailment
 * @return true if all axioms follow from the loaded ontology and false otherwise.
 */
public boolean entails(Set<? extends OWLAxiom> axioms) {
    anonymousIndividualAxioms.clear();
    for (OWLAxiom axiom : axioms) {
        if (axiom.isLogicalAxiom())
            if (!axiom.accept(this))
                return false;
    }
    return checkAnonymousIndividuals();
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
/**
 * Remove the cardinality constraints, by removing the axioms and replacing
 * them with the weaker axioms without the constraints.
 * 
 * @param ontology
 */
public static void removeCardinalityConstraints(OWLOntology ontology) {
	CardinalityRemover remover = new CardinalityRemover(ontology);
	for(OWLAxiom axiom : ontology.getAxioms()) {
		axiom.accept(remover);
	}
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
/**
 * Find the axioms with cardinality constraints. Creates also the weaker
 * axioms as potential replacement.
 * 
 * @param ontology
 * @return reporter with the axiom potential changes
 */
public static CardinalityReporter findCardinalityConstraints(OWLOntology ontology) {
	CardinalityReporter reporter = new CardinalityReporter(ontology);
	for(OWLAxiom axiom : ontology.getAxioms()) {
		axiom.accept(reporter);
	}
	return reporter;
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
public OWLAlignmentReader(String owl_alignment_file) throws Exception{
	
	//try{
		OWLOntology onto_mappings = loadOntology(owl_alignment_file);
		
		for (OWLAxiom ax : onto_mappings.getAxioms()){
		
			//System.out.println(ax);
			
			owlMappingAxiomVisitor.reInitValues();
			
			ax.accept(owlMappingAxiomVisitor);
		
			/*System.out.println(owlMappingAxiomVisitor.getIRIEntity1() + "\n" +
					owlMappingAxiomVisitor.getIRIEntity2() + "\n" +
					owlMappingAxiomVisitor.getMeasure() + "\n" +
					owlMappingAxiomVisitor.getRelation() + "\n" +
					owlMappingAxiomVisitor.getTypeMapping());
			*/
			
			if (owlMappingAxiomVisitor.getIRIEntity1()==null || owlMappingAxiomVisitor.getIRIEntity2()==null
				|| owlMappingAxiomVisitor.getIRIEntity1().equals("") || owlMappingAxiomVisitor.getIRIEntity2().equals(""))
				continue; //no good axioms
			
			
			//Add for all axioms? I think so...
			mappings.add(new MappingObjectStr(
					owlMappingAxiomVisitor.getIRIEntity1(), 
					owlMappingAxiomVisitor.getIRIEntity2(), 
					owlMappingAxiomVisitor.getMeasure(),
					owlMappingAxiomVisitor.getRelation(),
					owlMappingAxiomVisitor.getTypeMapping()));	
		}
		
		LogOutput.print("Read OWL mapping objects: " + getMappingObjectsSize());
		
	//}
	//catch (Exception e){
	//	System.err.println("Error reading OWL mappings file: " + e.getMessage());
	//}
	
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
@SuppressWarnings("static-method")
public ElkAxiom convert(OWLAxiom owlAxiom) {
	return owlAxiom.accept(OWL_AXIOM_CONVERTER);
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
@Override
public boolean accept(OWLAxiom axiom) {
	Objects.requireNonNull(axiom);
	return axiom.accept(this);
}
 

import org.semanticweb.owlapi.model.OWLAxiom; //導入方法依賴的package包/類
/**
 * Update the given axiom to the new set of axiom annotation. Recreates the
 * axiom with the new annotations using the given factory.
 * 
 * @param axiom
 * @param annotations
 * @param factory
 * @return newAxiom
 */
public static OWLAxiom changeAxiomAnnotations(OWLAxiom axiom, Set<OWLAnnotation> annotations, OWLDataFactory factory) {
	final AxiomAnnotationsChanger changer = new AxiomAnnotationsChanger(annotations, factory);
	final OWLAxiom newAxiom = axiom.accept(changer);
	return newAxiom;
}