PPT Slide
Computer ? (and Product (exists has-processor CPU) (all has-memory Memory)
(all is-model ComputerModel))
Product ? (and (all is-manufactured-by Brand) (atleast 1 is-manufactured-by)
(all has-price (and (ge 2000) (all in-currency aset(USD))
(all has-weight (and kg (le 5))
(all is-manufactured-by aset(HP,IBM,Apple,DEC,Dell) )
An Ontology written in the Concept Language ITL (Terminology)
Concept Subsumption Hierarchy
- Term Subsumption in ITL is NP-complete
- Use of Polynomial Concept Classification Service