/icy

Ontology about ice cream types developed with Protégé.

Primary LanguageTeXMIT LicenseMIT

icy

Ontology about ice cream types developed with Protégé.

This project was made when taking the coarse "Knowledge Representation and Reasoning" at FMI as part of my Masters degree.

Requirements

  • At least 15 concepts (classes):
    • Atomic concepts;
    • Composed concepts (by EXISTS, FILLS, ALL, AND).
  • At least 10 properties with suitable domain and range.
    • Functional;
    • Transitive;
    • Inverse;
    • Make them 10.
  • At least 15 individuals (instances).
  • Examples of reasoning over the knowledge base:
    • KB |= (c → e) - at least 1;
    • KB |= (c ⊑ d) - at least 1;
    • Classification - at least 1.

Plan of Attack

  • Write down the requirements.
  • Write a pitch (pdf file).
  • Add first version of documentation.
  • Add table with classes.
  • Add table with object properties.
  • Add table with data properties.
  • Fix problem with isTraditional data property.
  • Update concept table.
  • Make 10 more named ice creams.
  • Make 10 individuals based in the new named ice creams.
  • Assign proper values for their properties.
  • Update the concept table.
  • Create the table with the individuals.
  • Give examples of reasoning: individual is class (KB |= (c → e)).
  • Give examples of reasoning: class is subclass of class (KB |= (c ⊑ d)).
  • Give examples of reasoning: classification.
  • DL query.
  • SPARQL query.
  • Visualize.
  • Future improvements.

Resources

Main

Additional