private Set<OntologyAxiomPair> parseDisjointClasses() { String section = consumeToken(); if (!DISJOINT_CLASSES.matches(section)) { throw new ExceptionBuilder().withKeyword(DISJOINT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLDisjointClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDisjointClasses() { String section = consumeToken(); if (!DISJOINT_CLASSES.matches(section)) { throw new ExceptionBuilder().withKeyword(DISJOINT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLDisjointClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDifferentIndividuals() { String section = consumeToken(); if (!DIFFERENT_INDIVIDUALS.matches(section)) { throw new ExceptionBuilder().withKeyword(DIFFERENT_INDIVIDUALS).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLIndividual> individuals = parseIndividualList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ontology : ontologies) { pairs.add(new OntologyAxiomPair(ontology, df.getOWLDifferentIndividualsAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDifferentIndividuals() { String section = consumeToken(); if (!DIFFERENT_INDIVIDUALS.matches(section)) { throw new ExceptionBuilder().withKeyword(DIFFERENT_INDIVIDUALS).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLIndividual> individuals = parseIndividualList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ontology : ontologies) { pairs.add(new OntologyAxiomPair(ontology, df.getOWLDifferentIndividualsAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseNaryEquivalentClasses() { String tok = consumeToken(); if (!EQUIVALENT_CLASSES.matches(tok)) { throw new ExceptionBuilder().withKeyword(EQUIVALENT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLEquivalentClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseSameIndividual() { String section = consumeToken(); if (!SAME_INDIVIDUAL.matches(section)) { throw new ExceptionBuilder().withKeyword(SAME_INDIVIDUAL).build(); } Set<OWLIndividual> individuals = parseIndividualList(); Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add( new OntologyAxiomPair(ont, df.getOWLSameIndividualAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDifferentIndividuals() { String section = consumeToken(); if (!DIFFERENT_INDIVIDUALS.matches(section)) { throw new ExceptionBuilder().withKeyword(DIFFERENT_INDIVIDUALS).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLIndividual> individuals = parseIndividualList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ontology : ontologies) { pairs.add(new OntologyAxiomPair(ontology, df.getOWLDifferentIndividualsAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseNaryEquivalentClasses() { String tok = consumeToken(); if (!EQUIVALENT_CLASSES.matches(tok)) { throw new ExceptionBuilder().withKeyword(EQUIVALENT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLEquivalentClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseNaryEquivalentClasses() { String tok = consumeToken(); if (!EQUIVALENT_CLASSES.matches(tok)) { throw new ExceptionBuilder().withKeyword(EQUIVALENT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLEquivalentClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDisjointClasses() { String section = consumeToken(); if (!DISJOINT_CLASSES.matches(section)) { throw new ExceptionBuilder().withKeyword(DISJOINT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLDisjointClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseSameIndividual() { String section = consumeToken(); if (!SAME_INDIVIDUAL.matches(section)) { throw new ExceptionBuilder().withKeyword(SAME_INDIVIDUAL).build(); } Set<OWLIndividual> individuals = parseIndividualList(); Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add( new OntologyAxiomPair(ont, df.getOWLSameIndividualAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseDifferentIndividuals() { String section = consumeToken(); if (!DIFFERENT_INDIVIDUALS.matches(section)) { throw new ExceptionBuilder().withKeyword(DIFFERENT_INDIVIDUALS).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLIndividual> individuals = parseIndividualList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ontology : ontologies) { pairs.add(new OntologyAxiomPair(ontology, df.getOWLDifferentIndividualsAxiom(individuals, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseNaryEquivalentClasses() { String tok = consumeToken(); if (!EQUIVALENT_CLASSES.matches(tok)) { throw new ExceptionBuilder().withKeyword(EQUIVALENT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLEquivalentClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseSameIndividual() { String section = consumeToken(); if (!SAME_INDIVIDUAL.matches(section)) { throw new ExceptionBuilder().withKeyword(SAME_INDIVIDUAL).build(); } Set<OWLIndividual> individuals = parseIndividualList(); Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add( new OntologyAxiomPair(ont, df.getOWLSameIndividualAxiom(individuals, annotations))); } return pairs; }
@Override public Set<OntologyAxiomPair> parseAnnotationPropertyFrame() { String tok = consumeToken(); if (!ANNOTATION_PROPERTY.matches(tok)) { throw new ExceptionBuilder().withKeyword(ANNOTATION_PROPERTY).build(); } String subj = consumeToken(); OWLAnnotationProperty prop = getOWLAnnotationProperty(subj); Set<OntologyAxiomPair> axioms = new HashSet<>(); for (OWLOntology ont : getOntologies()) { axioms.add(new OntologyAxiomPair(ont, df.getOWLDeclarationAxiom(prop))); } parseFrameSections(false, axioms, prop, annotationPropertyFrameSections); return axioms; }
private Set<OntologyAxiomPair> parseDisjointClasses() { String section = consumeToken(); if (!DISJOINT_CLASSES.matches(section)) { throw new ExceptionBuilder().withKeyword(DISJOINT_CLASSES).build(); } Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OWLClassExpression> classExpressions = parseClassExpressionList(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add(new OntologyAxiomPair(ont, df.getOWLDisjointClassesAxiom(classExpressions, annotations))); } return pairs; }
private Set<OntologyAxiomPair> parseSameIndividual() { String section = consumeToken(); if (!SAME_INDIVIDUAL.matches(section)) { throw new ExceptionBuilder().withKeyword(SAME_INDIVIDUAL).build(); } Set<OWLIndividual> individuals = parseIndividualList(); Set<OWLOntology> ontologies = getOntologies(); Set<OWLAnnotation> annotations = parseAnnotations(); Set<OntologyAxiomPair> pairs = new HashSet<>(); for (OWLOntology ont : ontologies) { pairs.add( new OntologyAxiomPair(ont, df.getOWLSameIndividualAxiom(individuals, annotations))); } return pairs; }
@Override public Set<OntologyAxiomPair> parseAnnotationPropertyFrame() { String tok = consumeToken(); if (!ANNOTATION_PROPERTY.matches(tok)) { throw new ExceptionBuilder().withKeyword(ANNOTATION_PROPERTY).build(); } String subj = consumeToken(); OWLAnnotationProperty prop = getOWLAnnotationProperty(subj); Set<OntologyAxiomPair> axioms = new HashSet<>(); for (OWLOntology ont : getOntologies()) { axioms.add(new OntologyAxiomPair(ont, df.getOWLDeclarationAxiom(prop))); } parseFrameSections(false, axioms, prop, annotationPropertyFrameSections); return axioms; }
@Override public Set<OntologyAxiomPair> parseAnnotationPropertyFrame() { String tok = consumeToken(); if (!ANNOTATION_PROPERTY.matches(tok)) { throw new ExceptionBuilder().withKeyword(ANNOTATION_PROPERTY).build(); } String subj = consumeToken(); OWLAnnotationProperty prop = getOWLAnnotationProperty(subj); Set<OntologyAxiomPair> axioms = new HashSet<>(); for (OWLOntology ont : getOntologies()) { axioms.add(new OntologyAxiomPair(ont, df.getOWLDeclarationAxiom(prop))); } parseFrameSections(false, axioms, prop, annotationPropertyFrameSections); return axioms; }
@Override public Set<OntologyAxiomPair> parseAnnotationPropertyFrame() { String tok = consumeToken(); if (!ANNOTATION_PROPERTY.matches(tok)) { throw new ExceptionBuilder().withKeyword(ANNOTATION_PROPERTY).build(); } String subj = consumeToken(); OWLAnnotationProperty prop = getOWLAnnotationProperty(subj); Set<OntologyAxiomPair> axioms = new HashSet<>(); for (OWLOntology ont : getOntologies()) { axioms.add(new OntologyAxiomPair(ont, df.getOWLDeclarationAxiom(prop))); } parseFrameSections(false, axioms, prop, annotationPropertyFrameSections); return axioms; }