SATISFIABILITY REASONING OVER VAGUE ONTOLOGIES USING FUZZY SOFT SET THEORY
SATISFIABILITY REASONING OVER VAGUE ONTOLOGIES USING FUZZY SOFT SET THEORY
No Thumbnail Available
Date
2016-11
Authors
SALAHUDEEN, RIDWAN
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Ontology is an explicit representation of conceptualizations, which is widely used in modelling
real world domains by defining their shared vocabularies such that they can be understood by
both human and machines for the purpose of information sharing. Description Logic (DL) is a
knowledge representation language that is widely used in building ontologies as well as
providing the foundation in which modern web ontologies languages such as OWL are built
upon. Classical ontology definitions contain concepts and relations that describe asserted facts
about the real world. Earlier studies on ontologies overlooked the representation of uncertainty
in their formalizations. However, for a real world domain to be fully modelled, its uncertain
aspects must be reflected and appropriately represented. This work propose a satisfiability
reasoning algorithm based on fuzzy soft set theory in order to reason about the uncertain aspect
of an ontology of vague domain. The proposed algorithm was evaluated by applying it on some
vague ontologies and the result was compared with the tableaux based and the soft set ontology
reasoning techniques. The obtained result shows that, the proposed algorithm is satisfiable
when fuzzy concepts and assertions are involved in an ontology representation while such
fuzzy conceptions are not handled by both tableaux based and soft set ontology procedures.
Description
A DISSERTATION SUBMITTED TO THE SCHOOL OF POSTGRADUATE
STUDIES, AHMADU BELLO UNIVERSITY, ZARIA
IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE AWARD OF A
M.Sc. COMPUTER SCIENCE
DEPARTMENT OF COMPUTER SCIENCE,
FACULTY OF PHYSICAL SCIENCES,
AHMADU BELLO UNIVERSITY, ZARIA
NIGERIA.
Keywords
SATISFIABILITY REASONING,, VAGUE ONTOLOGIES,, FUZZY SOFT,, THEORY,