Abstract Views :163 |
PDF Views:4
Authors
Affiliations
1 Department of Computer Technology, Anna
University, Chennai, IN
2 Department of Computer Technology, Anna University, Chennai, IN
3 Anna University of Technology, Tirunelveli, Tamil Nadu, IN
Source
Artificial Intelligent Systems and Machine Learning, Vol 4, No 3 (2012), Pagination: 161-166
Abstract
Semantic Web is the major research of W3C to create web of resources by giving well defined meaning to the information, so that computer can understand. Ontology is the framework for organizing information in Semantic web. The knowledge representation language, OWL helps in creating ontology quickly and also makes the system to automatically process the information in web. The Unified Modelling Language (UML) is used in object-oriented developments and information system and help the developers to create and view the application visually. Several tools are available for designing UML models but the main drawback is that it lacks in semantics. So in order to bring Semantics, UML models are converted to OWL because common features available between UML and Ontology-based languages. During conversion, problems like inconsistency and redundancy in UML reflect in OWL, so that external OWL reasoner is needed to find the inconsistency. In order to create consistent OWL, we present an approach of converting class diagram to intermediate DL statements and find the inconsistency using the reasoning properties. The inconsistency is said to be there when at least any one of the reasoning properties is not satisfied to the obtained set of Description logic statements of the class diagram. After detection, only consistent DL statements are mapped to OWL which results in consistent OWL.
Keywords
Description Logic, First Order Logic, Ontology, Semantic web, Unified Modeling Language, Web Ontology Language.
