ontolearn.concept_generator

A module to generate concepts.

Module Contents

Classes

ConceptGenerator

A class that can generate some sorts of OWL Class Expressions.
class ontolearn.concept_generator.ConceptGenerator[source]

A class that can generate some sorts of OWL Class Expressions.

property thing: owlapy.class_expression.OWLClass

OWL Thing.

property nothing: owlapy.class_expression.OWLClass

OWL Nothing.

negation_from_iterables(class_expressions: Iterable[owlapy.class_expression.OWLClassExpression])[source]

Negate a sequence of Class Expressions.

Parameters:

class_expressions – Iterable of class expressions to negate.

Returns:

Negated form of input.

{ x | ( x equv not s}

static intersect_from_iterables(a_operands: Iterable[owlapy.class_expression.OWLClassExpression], b_operands: Iterable[owlapy.class_expression.OWLClassExpression]) → Iterable[owlapy.class_expression.OWLObjectIntersectionOf][source]

Create an intersection of each class expression in a_operands with each class expression in b_operands.

static union_from_iterables(a_operands: Iterable[owlapy.class_expression.OWLClassExpression], b_operands: Iterable[owlapy.class_expression.OWLClassExpression]) → Iterable[owlapy.class_expression.OWLObjectUnionOf][source]

Create an union of each class expression in a_operands with each class expression in b_operands.

intersection(ops: Iterable[owlapy.class_expression.OWLClassExpression]) → owlapy.class_expression.OWLObjectIntersectionOf[source]

Create intersection of class expression.

Parameters:

ops – Operands of the intersection.

Returns:

Intersection with all operands (intersections are merged).

union(ops: Iterable[owlapy.class_expression.OWLClassExpression]) → owlapy.class_expression.OWLObjectUnionOf[source]

Create union of class expressions.

Parameters:

ops – Operands of the union

Returns:

Union with all operands (unions are merged).

existential_restriction(filler: owlapy.class_expression.OWLClassExpression, property: owlapy.owl_property.OWLObjectPropertyExpression) → owlapy.class_expression.OWLObjectSomeValuesFrom[source]

Create existential restriction.

Parameters:

  • property – Property.

  • filler – Filler of the restriction.

Returns:

Existential restriction.

universal_restriction(filler: owlapy.class_expression.OWLClassExpression, property: owlapy.owl_property.OWLObjectPropertyExpression) → owlapy.class_expression.OWLObjectAllValuesFrom[source]

Create universal restriction.

Parameters:

  • property – Property.

  • filler – Filler of the restriction.

Returns:

universal restriction

has_value_restriction(individual: owlapy.owl_individual.OWLIndividual, property: owlapy.owl_property.OWLObjectPropertyExpression) → owlapy.class_expression.OWLObjectHasValue[source]

Create object has value restriction.

Parameters:

  • property – Property.

  • individual – Individual of the restriction.

Returns:

Object has value restriction.

min_cardinality_restriction(filler: owlapy.class_expression.OWLClassExpression, property: owlapy.owl_property.OWLObjectPropertyExpression, card: int) → owlapy.class_expression.OWLObjectMinCardinality[source]

Create min cardinality restriction.

Parameters:

  • filler – Filler of the restriction.

  • property – Property.

  • card – Cardinality of the restriction.

Returns:

Min cardinality restriction.

max_cardinality_restriction(filler: owlapy.class_expression.OWLClassExpression, property: owlapy.owl_property.OWLObjectPropertyExpression, card: int) → owlapy.class_expression.OWLObjectMaxCardinality[source]

Create max cardinality restriction.

Parameters:

  • filler – Filler of the restriction.

  • property – Property.

  • card – Cardinality of the restriction.

Returns:

Max cardinality restriction.

exact_cardinality_restriction(filler: owlapy.class_expression.OWLClassExpression, property: owlapy.owl_property.OWLObjectPropertyExpression, card: int) → owlapy.class_expression.OWLObjectExactCardinality[source]

Create exact cardinality restriction.

Parameters:

  • filler – Filler of the restriction.

  • property – Property.

  • card – Cardinality of the restriction.

Returns:

Exact cardinality restriction.

static data_existential_restriction(filler: owlapy.owl_data_ranges.OWLDataRange, property: owlapy.owl_property.OWLDataPropertyExpression) → owlapy.class_expression.OWLDataSomeValuesFrom[source]

Create data existential restriction.

Parameters:

  • filler – Filler of the restriction.

  • property – Property.

Returns:

Data existential restriction.

static data_universal_restriction(filler: owlapy.owl_data_ranges.OWLDataRange, property: owlapy.owl_property.OWLDataPropertyExpression) → owlapy.class_expression.OWLDataAllValuesFrom[source]

Create data universal restriction.

Parameters:

  • filler – Filler of the restriction.

  • property – Property.

Returns:

Data universal restriction.

static data_has_value_restriction(value: owlapy.owl_literal.OWLLiteral, property: owlapy.owl_property.OWLDataPropertyExpression) → owlapy.class_expression.OWLDataHasValue[source]

Create data has value restriction.

Parameters:

  • value – Value of the restriction.

  • property – Property.

Returns:

Data has value restriction.

negation(concept: owlapy.class_expression.OWLClassExpression) → owlapy.class_expression.OWLClassExpression[source]

Create negation of a concept.

Parameters:

concept – Class expression.

Returns:

Negation of concept.