PPT Slide

Examples for Specification in LARKS (2)

Context

Input

Output

Computer*Computer;

brands: SetOf Brand*Brand;

areas: SetOf State*State;

processor: SetOf CPU;

priceLow*LowPrices: Integer;

priceHigh*HighPrices: Integer;

findComputerInfo

Info: ListOf(model: Model*ComputerModels,

brand: Brand*Brand, price: Price,

color: Color*Colors);

• Use of a domain ontology: Word*Concept

The meaning of Word is described in terms of a Concept defined in a given ontology.

- Concept Language (ITL, BACK, KRIS, LOOM, CLASSIC, …)

- Knowledge Interchange Format KIF

- Unified Modeling Language UML

Previous slide

Next slide

Back to first slide

View graphic version