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> 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> 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> 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> 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 void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }
private void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }
private void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }
private void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }