Problem description


  1. Problem description


  • must choose a microworld for modelling from the following list of possible microworlds: The World of Books, The World of Music, The World of Films, My Medical Practice, My Favourite Sport Club, My City, My Transport, My University, My Neighbourhood, My Home (more suggestions possible). This coursework requires building of a logical theory of the chosen microworld using first-order relational language with equality, converting it into Horn theory and creating an ontological model based on this theory using Protégé as a modeling tool.


  1. work tasks


  • Construct  a semantic model of your selected microworld with at least 10 individual objects in its universe.
  • Specify  vocabularies for the modeling language with at least 6 names of individual objects, 4 unary predicates, 3 binary predicates and 4 attribute functions and provide semantic interpretation for them.
  • Build a logical theory of your microworld with at least 8 axioms
  • Demonstrate the satisfiability of at least 3 axioms in your semantic model
  • Demonstrate the use of at least 3 different inference rules to derive at least 3 different conclusions in your theory
  • Convert  your theory into a Horn theory
  • Demonstrate the use of the resolution for deductive inference of at least one conclusion in the converted theory


  1. work tasks


  • Construct  an ontology of your selected microworld with at least 12 different classes in its universe.
  • Name at least 8 instances of these classes in the ontology
  • Specify  at least 6 individual properties (attributes) and 4 binary properties (relations) for describing the objects in the ontology
  • Describe at least 14 axioms of various kind as follows:
  • 8 factual (about individual instances and their properties)
  • 4 terminological (about classes and their properties)
  • 2 structural (about relationships and their properties)
  • State at least 4 different rules which involve the above resources



Every student must upload both the groupwork report and the individual .owl file by the deadline directly to WebLearn. No printed copies or emails will be accepted.


  1. Marking Scheme


Ontology                                                                                 (12 marks)

Individual Demonstration                                                    (3 marks)


      Total                                                                                       (15 marks)