Thesiss

The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. It is built upon the foundations of highly expressive Description Logics, which are fragments of First Order Logic. These logical foundations mean that it is possible to compute what is ent…

Classification is a core reasoning service provided by most OWL reasoners. Classification in general is hard - up to 2NExptime for SROIQ(D), the Description Logic which is underpinning the Web Ontology Language (OWL). While it has been shown that classification is practical for …

This project to design a conceptual model for the community folk dance tradition of contra dance resulted in the construction of a domain ontology. The study concluded that ontological modeling and semantic technologies were well-suited to structure information about contra danc…