Previous: Expertise Model Up: Expertise Model Next: Inference knowledge:

domain knowledge:

domain ontology.

concept

flight;

``a flight has one identifier of the type id, one departure time of the type time, and one arrival time of the type time.''

properties

identifier:

string;

departure:

{00.00,00.01, ... ,23.59,24.00} cardinality: min 1; max 1;

arrival:

{00.00,00.01, ... ,23.59,24.00} cardinality: min 1; max 1;

concept

morning-flight;

sub-type-of: flight

property-values:

identifier:

string;

departure:

{00.00,00.01, ... ,11.59,12.00}

arrival:

{00.00,00.01, ... ,11.59,12.00}

concept

afternoon-flight;

sub-type-of: flight

property-values:

identifier:

string;

departure:

{12.00,12.01, ... ,23.59,24.00}

arrival:

{12.00,12.01, ... ,23.59,24.00}

concept

flight-pair;

``a flight pair consists of two flights which are ordered with respect to the relationes first-flight and second-flight''

properties

first-flight:

morning-flight cardinality: min 0; max 1;

second-flight:

afternoon-flight cardinality: min 0; max 1;

relation

can-be-combined;

``a morning flight can be combine with an afternoon flight.''

argument-1:

morning-flight or first-flight;

argument-role:

the-first-flight;

argument-2:

afternoon-flight or second-flight;

argument-role:

the-afternoon-flight;

relation

selection-set;

``a set of associations between a set of morning flights and an afternoon flight.''

arguments:

all-morning-flights;

argument-role:

all-possible-combinable-morning-flights

set of set(morning-flight);

cardinality:

min 0; max infinite;

all-afternoon-flights;

argument-role:

all-possible-combinable-afternoon-flight set of afternoon-flight;

cardinality:

min 0; max infinite;

relation

associated;

``a set of morning flights can be associated with an afternoon flight.''

sub-type-of:

selection-set;

argument-1:

set(morning-flight)

argument-role:

set-of-combinable-morning-flights;

cardinality:

min 1; max 1;

differentiation-of:

all-morning-flights(selection-set);

argument-2:

afternoon-flight

argument-role:

combinable-afternoon-flight;

cardinality:

min 1; max 1;

differentiation-of:

all-afternoon-flights(selection-set);

domain model

domain model

selection-set;

parts:

template:

tuple(selection-set)

condition1:

tuple(associated)

condition2:

tuple(can-be-combined)

concept1:

morning-flight

concept2:

afternoon-flight

axioms:

set(morning-flight) all-morning-flights

SELECTION-SET

afternoon-flight all-afternoon-flights

SUCH THAT

set(morning-flights)

ASSOCIATED

afternoon-flight

AND

morning-flight set(morning-flights)

CAN-BE-COMBINED

afternoon-flight

domain model

afternoon-flight-associations;

parts:

input1:

selection-set;

input2:

morning-flight;

condition:

tuple(associated)

axioms:

set(morning-flight) selection-set

SUCH THAT

morning-flight set(morning-flights)

ASSOCIATED

afternoon-flight

domain model

best-afternoon-flight;

parts:

constraint:

morning-flight

input:

tuple(selection-set)

condition:

tuple(associated)

axioms:

set(morning-flight) all-morning-flights

SUCH THAT

cardinality of morning-flights is minimal

AND

morning-flight set(morning-flights)

ASSOCIATED

afternoon-flight

annotations:

domain model

flight-pair;

parts:

input1:

morning-flight;

input2:

afternoon-flight;

template:

flight-pair

condition:

tuple(can-be-combined)

axioms:

morning-flight is first-flight of flight-pair

CAN-BE-COMBINED

afternoon-flight is second-flight of flight-pair