Diagrammatic Representation of OWL Ontologies
Mohammad Aminur Rashid · 2009
Faculty Of Computer Science Master in Computer Science by Mohammad Aminur Rashid The diagrammatic representation in knowledge formalism is widely used in database in the form of ER, UML diagram. The use of diagram help user understand the system easily than logical view. Advanced Knowledge representation formalism like OWL-DL W3C recommendation are logic based which hide well known logical pattern into logical implications (so called axioms). Inspired from the Intelligent Conceptual Modelling Tool (ICOM) [1] which is a CASE tool to design multiple EER diagram with constraints. The tool reason on the model by encoding them in single description logic. The aim of my thesis is to study and use semantic preserving operations to manipulate OWL ontologies in order to isolate the implicit information which can be represented diagrammatically (e.g. ISA , domain/range restrictions, mandatory participations constraints etc).