Modifier and Type | Method and Description |
---|---|
static OWLDifferentIndividualsAxiom |
OWLFunctionalSyntaxFactory.DifferentIndividuals(Collection<? extends OWLIndividual> individuals) |
static OWLSameIndividualAxiom |
OWLFunctionalSyntaxFactory.SameIndividual(Collection<? extends OWLIndividual> individuals) |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
DLSyntaxParser.parseIndividualId() |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
OWLFunctionalSyntaxParser.Individual() |
Modifier and Type | Method and Description |
---|---|
Set<OWLIndividual> |
OWLFunctionalSyntaxParser.IndividualMinOneSet() |
Set<OWLIndividual> |
OWLFunctionalSyntaxParser.IndividualSet() |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
KRSSParser.IndividualName() |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
KRSS2Parser.IndividualName() |
Modifier and Type | Method and Description |
---|---|
Set<OWLIndividual> |
ManchesterOWLSyntaxParserImpl.parseIndividualList() |
Modifier and Type | Method and Description |
---|---|
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLIndividual individual) |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLAnonymousIndividual
Represents Anonymous
Individuals in the OWL 2 Specification.
|
interface |
OWLNamedIndividual
Represents a
Named
Individual in the OWL 2 Specification.
|
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
SWRLIndividualArgument.getIndividual() |
OWLIndividual |
OWLClassAssertionAxiom.getIndividual()
Gets the individual that is asserted to be an instance of a class expression by this axiom.
|
OWLIndividual |
OWLPropertyAssertionAxiom.getSubject()
Gets the individual that is the subject of this assertion.
|
Modifier and Type | Method and Description |
---|---|
default Set<OWLIndividual> |
OWLObjectOneOf.getIndividuals()
Gets the individuals that are in the oneOf.
|
default Set<OWLIndividual> |
OWLNaryIndividualAxiom.getIndividuals() |
default List<OWLIndividual> |
OWLNaryIndividualAxiom.getIndividualsAsList()
Gets the individuals returned by
OWLNaryIndividualAxiom.getIndividuals() as a list. |
Stream<OWLIndividual> |
OWLObjectOneOf.individuals()
Gets the individuals that are in the oneOf.
|
Stream<OWLIndividual> |
OWLNaryIndividualAxiom.individuals() |
default Stream<OWLIndividual> |
OWLObjectOneOf.operands() |
default Stream<OWLIndividual> |
OWLNaryIndividualAxiom.operands() |
Modifier and Type | Method and Description |
---|---|
Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
default Stream<OWLClassAssertionAxiom> |
OWLAxiomIndex.classAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified individual an instance of some class expression. |
default Stream<OWLDataPropertyAssertionAxiom> |
OWLAxiomIndex.dataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Stream<OWLDifferentIndividualsAxiom> |
OWLAxiomIndex.differentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom objects contained in this ontology that make
the specified individual different to some other individual. |
default Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLIndividual individual,
boolean includeImportsClosure)
Deprecated.
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an individual.
|
default Set<OWLClassAssertionAxiom> |
OWLAxiomIndex.getClassAssertionAxioms(OWLIndividual individual)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified individual an instance of some class expression. |
default Set<OWLDataPropertyAssertionAxiom> |
OWLAxiomIndex.getDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLDataPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Set<OWLDifferentIndividualsAxiom> |
OWLAxiomIndex.getDifferentIndividualAxioms(OWLIndividual individual)
Gets the
OWLDifferentIndividualsAxiom objects contained in this ontology that make
the specified individual different to some other individual. |
default Set<OWLNegativeDataPropertyAssertionAxiom> |
OWLAxiomIndex.getNegativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Set<OWLNegativeObjectPropertyAssertionAxiom> |
OWLAxiomIndex.getNegativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Set<OWLObjectPropertyAssertionAxiom> |
OWLAxiomIndex.getObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Set<OWLSameIndividualAxiom> |
OWLAxiomIndex.getSameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom objects contained in this ontology that make the
specified individual the same as some other individual. |
default Stream<OWLNegativeDataPropertyAssertionAxiom> |
OWLAxiomIndex.negativeDataPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeDataPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Stream<OWLNegativeObjectPropertyAssertionAxiom> |
OWLAxiomIndex.negativeObjectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLNegativeObjectPropertyAssertionAxiom objects contained in this ontology
that have the specified individual as the subject of the axiom. |
default Stream<OWLObjectPropertyAssertionAxiom> |
OWLAxiomIndex.objectPropertyAssertionAxioms(OWLIndividual individual)
Gets the
OWLObjectPropertyAssertionAxiom objects contained in this ontology that have
the specified individual as the subject of the axiom. |
default Stream<OWLSameIndividualAxiom> |
OWLAxiomIndex.sameIndividualAxioms(OWLIndividual individual)
Gets the
OWLSameIndividualAxiom objects contained in this ontology that make the
specified individual the same as some other individual. |
Modifier and Type | Method and Description |
---|---|
default OWLDifferentIndividualsAxiom |
IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals) |
OWLDifferentIndividualsAxiom |
IndividualAssertionProvider.getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
default OWLObjectOneOf |
NominalProvider.getOWLObjectOneOf(Collection<? extends OWLIndividual> values) |
OWLObjectOneOf |
NominalProvider.getOWLObjectOneOf(Stream<? extends OWLIndividual> values) |
default OWLSameIndividualAxiom |
IndividualAssertionProvider.getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals) |
OWLSameIndividualAxiom |
IndividualAssertionProvider.getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
OWLRDFConsumer.translateIndividual(IRI node)
Translate individual.
|
Modifier and Type | Method and Description |
---|---|
static Stream<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be different to e in the specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getDifferentIndividuals(OWLIndividual e,
Stream<OWLOntology> ontologies)
Gets the individuals asserted to be different to e in the specified ontologies.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontologies.
|
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
Stream<OWLOntology> ontologies) |
static Stream<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be same as e in the specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getSameIndividuals(OWLIndividual e,
Stream<OWLOntology> ontologies)
Gets the individuals asserted to be same as e in the specified ontologies.
|
static Stream<OWLIndividual> |
Searcher.instances(Stream<OWLClassAssertionAxiom> axioms)
Retrieve individuals from class assertions.
|
static Stream<OWLIndividual> |
Searcher.negValues(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve objects from a collection of negative assertions.
|
static Stream<OWLIndividual> |
Searcher.values(Stream<OWLObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p)
Retrieve objects from a collection of assertions.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLIndividual> |
ManchesterOWLSyntaxParser.parseIndividualList() |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
BuilderSWRLIndividualArgument.getIndividual() |
OWLIndividual |
BuilderClassAssertion.getIndividual() |
OWLIndividual |
BuilderObjectPropertyAssertion.getSubject() |
OWLIndividual |
BuilderNegativeObjectPropertyAssertion.getSubject() |
OWLIndividual |
BuilderNegativeDataPropertyAssertion.getSubject() |
OWLIndividual |
BuilderDataPropertyAssertion.getSubject() |
OWLIndividual |
BuilderObjectPropertyAssertion.getValue() |
OWLIndividual |
BuilderObjectHasValue.getValue() |
OWLIndividual |
BuilderNegativeObjectPropertyAssertion.getValue() |
Modifier and Type | Method and Description |
---|---|
BuilderSWRLIndividualArgument |
BuilderSWRLIndividualArgument.with(OWLIndividual arg) |
BuilderClassAssertion |
BuilderClassAssertion.withIndividual(OWLIndividual arg) |
BuilderObjectPropertyAssertion |
BuilderObjectPropertyAssertion.withSubject(OWLIndividual arg) |
BuilderNegativeObjectPropertyAssertion |
BuilderNegativeObjectPropertyAssertion.withSubject(OWLIndividual arg) |
BuilderNegativeDataPropertyAssertion |
BuilderNegativeDataPropertyAssertion.withSubject(OWLIndividual arg) |
BuilderDataPropertyAssertion |
BuilderDataPropertyAssertion.withSubject(OWLIndividual arg) |
BuilderObjectPropertyAssertion |
BuilderObjectPropertyAssertion.withValue(OWLIndividual arg) |
BuilderObjectHasValue |
BuilderObjectHasValue.withValue(OWLIndividual arg) |
BuilderNegativeObjectPropertyAssertion |
BuilderNegativeObjectPropertyAssertion.withValue(OWLIndividual arg) |
Modifier and Type | Class and Description |
---|---|
class |
OWLAnonymousIndividualImpl |
class |
OWLIndividualImpl |
class |
OWLNamedIndividualImpl |
Modifier and Type | Method and Description |
---|---|
OWLIndividual |
SWRLIndividualArgumentImpl.getIndividual() |
OWLIndividual |
OWLClassAssertionAxiomImpl.getIndividual() |
OWLIndividual |
OWLIndividualRelationshipAxiomImpl.getSubject() |
Modifier and Type | Method and Description |
---|---|
List<OWLIndividual> |
OWLNaryIndividualAxiomImpl.getIndividualsAsList() |
List<OWLIndividual> |
OWLObjectOneOfImpl.getOperandsAsList() |
List<OWLIndividual> |
OWLNaryIndividualAxiomImpl.getOperandsAsList() |
Stream<OWLIndividual> |
OWLObjectOneOfImpl.individuals() |
Stream<OWLIndividual> |
OWLNaryIndividualAxiomImpl.individuals() |
Modifier and Type | Method and Description |
---|---|
OWLDifferentIndividualsAxiom |
OWLDataFactoryImpl.getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
OWLObjectOneOf |
OWLDataFactoryImpl.getOWLObjectOneOf(Stream<? extends OWLIndividual> values) |
OWLSameIndividualAxiom |
OWLDataFactoryImpl.getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
Constructor and Description |
---|
OWLDifferentIndividualsAxiomImpl(List<OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
OWLNaryIndividualAxiomImpl(List<OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
OWLObjectOneOfImpl(Stream<OWLIndividual> values) |
OWLSameIndividualAxiomImpl(List<OWLIndividual> individuals,
Collection<OWLAnnotation> annotations) |
Copyright © 2020 The University of Manchester. All rights reserved.