it.poliba.sisinflab.tinyme.SemanticDescription

Direct Known Subclasses:: EntityDescription

public class SemanticDescription
extends Object

Models an ALN concept expression as the conjunction of C_CN, C_GT, C_LT, C_∀ components, stored in collections of AtomicConcept, CardinalityRole and UniversalRole class instances.

Instances of this class are backed by native data structures, and as such they require special treatment for memory management, therefore they can only be created via the DataFactory instance held by Reasoner (which automatically ties their lifecycle to that of the enclosing objects).

Unless otherwise stated, SemanticDescription objects returned by the reasoner instance should not be mutated unless they have been copied beforehand (via e.g. DataFactory.copy(SemanticDescription)), otherwise IllegalStateException is thrown.

See Also:: DataFactory

Method Summary

Modifier and Type	Method	Description
`void`	`addAtomicConcept(AtomicConcept concept)`	Adds the specified atomic concept to this description.
`void`	`addAtomicConcept(IRI iri)`	Refer to `addAtomicConcept(AtomicConcept)`.
`void`	`addAtomicConcept(OWLClass owlClass)`	Refer to `addAtomicConcept(AtomicConcept)`.
`void`	`addAtomicConcepts(Iterable<AtomicConcept> concepts)`	Refer to `addAtomicConcept(AtomicConcept)`.
`void`	`addGreaterThanRole(CardinalityRole role)`	Adds the specified minimum cardinality restriction to this description.
`void`	`addGreaterThanRole(IRI iri, long cardinality)`	Refer to `addGreaterThanRole(CardinalityRole)`.
`void`	`addGreaterThanRole(OWLObjectProperty property, long cardinality)`	Refer to `addGreaterThanRole(CardinalityRole)`.
`void`	`addGreaterThanRoles(Iterable<CardinalityRole> roles)`	Refer to `addGreaterThanRole(CardinalityRole)`.
`void`	`addLessThanRole(CardinalityRole role)`	Adds the specified maximum cardinality restriction to this description.
`void`	`addLessThanRole(IRI iri, long cardinality)`	Refer to `addLessThanRole(CardinalityRole)`.
`void`	`addLessThanRole(OWLObjectProperty property, long cardinality)`	Refer to `addLessThanRole(CardinalityRole)`.
`void`	`addLessThanRoles(Iterable<CardinalityRole> roles)`	Refer to `addLessThanRole(CardinalityRole)`.
`void`	`addNegatedConcept(AtomicConcept concept)`	Adds the specified negated concept to this description.
`void`	`addNegatedConcept(IRI iri)`	Refer to `addNegatedConcept(AtomicConcept)`.
`void`	`addNegatedConcept(OWLClass owlClass)`	Refer to `addNegatedConcept(AtomicConcept)`.
`void`	`addNegatedConcepts(Iterable<AtomicConcept> concepts)`	Refer to `addNegatedConcept(AtomicConcept)`.
`void`	`addUniversalRole(UniversalRole role)`	Adds the specified value restriction to this description.
`void`	`addUniversalRole(IRI iri, SemanticDescription filler)`	Refer to `addUniversalRole(UniversalRole)`.
`void`	`addUniversalRole(OWLObjectProperty property, SemanticDescription filler)`	Refer to `addUniversalRole(UniversalRole)`.
`void`	`addUniversalRoles(Iterable<UniversalRole> roles)`	Refer to `addUniversalRole(UniversalRole)`.
`Stream<AtomicConcept>`	`getAtomicConcepts()`	Returns the atomic concept conjuncts referenced in this description.
`Stream<CardinalityRole>`	`getGreaterThanRoles()`	Returns the minimum cardinality restriction conjuncts referenced in this description.
`Stream<CardinalityRole>`	`getLessThanRoles()`	Returns the maximum cardinality restriction conjuncts referenced in this description.
`Stream<AtomicConcept>`	`getNegatedConcepts()`	Returns the negated atomic concept conjuncts referenced in this description.
`Stream<UniversalRole>`	`getUniversalRoles()`	Returns the value restriction conjuncts referenced in this description.
`void`	`intersect(SemanticDescription other)`	Performs the intersection between this description and another.
`boolean`	`isOwned()`
`void`	`setOwned(boolean owned)`
`String`	`toString()`

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details
- isOwned
  
  public boolean isOwned()
- setOwned
  
  public void setOwned(boolean owned)
- getAtomicConcepts
  
  public Stream<AtomicConcept> getAtomicConcepts()
  
  Returns the atomic concept conjuncts referenced in this description.
  
  Returns:
  
  The atomic concepts.
- getNegatedConcepts
  
  public Stream<AtomicConcept> getNegatedConcepts()
  
  Returns the negated atomic concept conjuncts referenced in this description.
  
  Returns:
  
  The negated atomic concepts.
- getGreaterThanRoles
  
  public Stream<CardinalityRole> getGreaterThanRoles()
  
  Returns the minimum cardinality restriction conjuncts referenced in this description.
  
  Returns:
  
  The minimum cardinality restrictions.
- getLessThanRoles
  
  public Stream<CardinalityRole> getLessThanRoles()
  
  Returns the maximum cardinality restriction conjuncts referenced in this description.
  
  Returns:
  
  The maximum cardinality restrictions.
- getUniversalRoles
  
  public Stream<UniversalRole> getUniversalRoles()
  
  Returns the value restriction conjuncts referenced in this description.
  
  Returns:
  
  The value restrictions.
- addAtomicConcept
  
  public void addAtomicConcept(AtomicConcept concept)
  
  Adds the specified atomic concept to this description.
  
  Parameters:
  
  concept - Concept to add.
- addAtomicConcept
  
  public void addAtomicConcept(OWLClass owlClass)
  
  Refer to addAtomicConcept(AtomicConcept).
  
  Parameters:
  
  owlClass - Class representing the concept.
- addAtomicConcept
  
  public void addAtomicConcept(IRI iri)
  
  Refer to addAtomicConcept(AtomicConcept).
  
  Parameters:
  
  iri - IRI of the concept.
- addAtomicConcepts
  
  public void addAtomicConcepts(Iterable<AtomicConcept> concepts)
  
  Refer to addAtomicConcept(AtomicConcept).
  
  Parameters:
  
  concepts - Concepts to add.
- addNegatedConcept
  
  public void addNegatedConcept(AtomicConcept concept)
  
  Adds the specified negated concept to this description.
  
  Parameters:
  
  concept - Negated concept to add.
- addNegatedConcept
  
  public void addNegatedConcept(OWLClass owlClass)
  
  Refer to addNegatedConcept(AtomicConcept).
  
  Parameters:
  
  owlClass - Class representing the negated concept.
- addNegatedConcept
  
  public void addNegatedConcept(IRI iri)
  
  Refer to addNegatedConcept(AtomicConcept).
  
  Parameters:
  
  iri - IRI of the negated concept.
- addNegatedConcepts
  
  public void addNegatedConcepts(Iterable<AtomicConcept> concepts)
  
  Refer to addNegatedConcept(AtomicConcept).
  
  Parameters:
  
  concepts - Negated concepts to add.
- addGreaterThanRole
  
  public void addGreaterThanRole(CardinalityRole role)
  
  Adds the specified minimum cardinality restriction to this description.
  
  Parameters:
  
  role - Restriction to add.
- addGreaterThanRole
  
  public void addGreaterThanRole(OWLObjectProperty property, long cardinality)
  
  Refer to addGreaterThanRole(CardinalityRole).
  
  Parameters:
  
  property - Property of the role.
  
  cardinality - Cardinality of the role.
- addGreaterThanRole
  
  public void addGreaterThanRole(IRI iri, long cardinality)
  
  Refer to addGreaterThanRole(CardinalityRole).
  
  Parameters:
  
  iri - IRI of the property.
  
  cardinality - Cardinality of the role.
- addGreaterThanRoles
  
  public void addGreaterThanRoles(Iterable<CardinalityRole> roles)
  
  Refer to addGreaterThanRole(CardinalityRole).
  
  Parameters:
  
  roles - Roles to add.
- addLessThanRole
  
  public void addLessThanRole(CardinalityRole role)
  
  Adds the specified maximum cardinality restriction to this description.
  
  Parameters:
  
  role - Restriction to add.
- addLessThanRole
  
  public void addLessThanRole(OWLObjectProperty property, long cardinality)
  
  Refer to addLessThanRole(CardinalityRole).
  
  Parameters:
  
  property - Property of the role.
  
  cardinality - Cardinality of the role.
- addLessThanRole
  
  public void addLessThanRole(IRI iri, long cardinality)
  
  Refer to addLessThanRole(CardinalityRole).
  
  Parameters:
  
  iri - IRI of the property.
  
  cardinality - Cardinality of the role.
- addLessThanRoles
  
  public void addLessThanRoles(Iterable<CardinalityRole> roles)
  
  Refer to addLessThanRole(CardinalityRole).
  
  Parameters:
  
  roles - Roles to add.
- addUniversalRole
  
  public void addUniversalRole(UniversalRole role)
  
  Adds the specified value restriction to this description.
  
  Parameters:
  
  role - Value restriction to add.
- addUniversalRole
  
  public void addUniversalRole(OWLObjectProperty property, SemanticDescription filler)
  
  Refer to addUniversalRole(UniversalRole).
  
  Parameters:
  
  property - Property of the role.
  
  filler - Filler of the role.
- addUniversalRole
  
  public void addUniversalRole(IRI iri, SemanticDescription filler)
  
  Refer to addUniversalRole(UniversalRole).
  
  Parameters:
  
  iri - IRI of the property.
  
  filler - Filler of the role.
- addUniversalRoles
  
  public void addUniversalRoles(Iterable<UniversalRole> roles)
  
  Refer to addUniversalRole(UniversalRole).
  
  Parameters:
  
  roles - Roles to add.
- intersect
  
  public void intersect(SemanticDescription other)
  
  Performs the intersection between this description and another. Only the current instance is mutated.
  
  Parameters:
  
  other - Description to perform the intersection with.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object

Class SemanticDescription

Method Summary

Methods inherited from class java.lang.Object

Method Details