Term Consistency Checking of Ontology Model Based on Description Logics

2007 ◽  
pp. 496-501
Author(s):  
Changrui Yu ◽  
Yan Luo
Keyword(s):  
Description Logics ◽  
Consistency Checking ◽  
Model Based ◽  
Ontology Model

Research on Consistency Checking of OntoUML Model

2012 ◽  
Vol 433-440 ◽  
pp. 2862-2867
Author(s):  
Bin Yang ◽  
Yu Dong Qi ◽  
Xiu We Wang ◽  
Ya Ning Wang
Keyword(s):  
Knowledge Base ◽  
Conceptual Model ◽  
Description Logics ◽  
Conceptual Modeling ◽  
Modeling Language ◽  
Consistency Checking ◽  
Model Based ◽  
Reasoning System ◽  
Uml Metamodel

OntoUML is a conceptual modeling language which is built with a lightweight expansion of UML metamodel, but it doesn’t provide mechanism of consistency checking on conceptual model. The correctness of the syntax and semantics of the model still need artificial check. The paper introduced OntoUML briefly and put forward a scheme of consistency checking of OntoUML model based on description logics. By transforming into knowledge base of description logics, the detection of consistencies at the OntoUML model can be realized using existing mature reasoning system.

scholarly journals Lightweight Consistency Checking for Agile Model-Based Development in Practice.

2019 ◽  
Vol 18 (2) ◽  
pp. 11:1 ◽  
Author(s):  
Robbert Jongeling ◽  
Federico Ciccozzi ◽  
Antonio Cicchetti ◽  
Jan Carlson
Keyword(s):  
Consistency Checking ◽  
Model Based ◽  
Agile Model

Web Service QoS Matching Research Based on Ontology

2013 ◽  
Vol 385-386 ◽  
pp. 1679-1683
Author(s):  
Xin Bing Ma ◽  
Xiao Feng Zhou
Keyword(s):  
Web Service ◽  
Functional Requirements ◽  
Service Matching ◽  
Model Based ◽  
Ontology Model ◽  
Qos Parameters

In this article,take into account QoS characteristics comprehensively and build a reliable QoS ontology model. Based on the model,Web service QoS matching will be divided into three stages.Firstly,make a estimation of semantic comparability between QoS parameters of candidate services meeting the functional requirements and the QoS parameters of requirements in QoSIndependent ontology,find candidate services meeting users needs; Then,according to the critical QoS parameters between adjacent services constraints to further refine the matching between the candidate services;Finally choose the maximum service QoS value meeting the user requests in specific areas. So as to improve the efficiency and accuracy of service matching.

scholarly journals Reasoning with Ontology Model Based on Jena

2009 ◽  
Vol 01 (01) ◽  
pp. 24-29 ◽  
Author(s):  
Jing WU ◽  
Yongxin HUANG
Keyword(s):  
Model Based ◽  
Ontology Model

Model Based User Interface Constructor with Consistency Checking

1995 ◽  
pp. 426-435
Author(s):  
Z. Kouba ◽  
J. Lažanský ◽  
Vl. Mařík ◽  
O. Štěpánková ◽  
T. Vlček
Keyword(s):  
User Interface ◽  
Consistency Checking ◽  
Model Based

A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING

2008 ◽  
Vol 18 (06) ◽  
pp. 713-735 ◽  
Author(s):  
JOCELYN SIMMONDS ◽  
MARÍA CECILIA BASTARRICA ◽  
NANCY HITSCHFELD-KAHLER ◽  
SEBASTIÁN RIVAS
Keyword(s):  
Real World ◽  
Description Logics ◽  
Large Set ◽  
Consistency Checking ◽  
Modeling Tool ◽  
Model Consistency ◽  
Consistency Problem ◽  
Uml Metamodel ◽  
Reasoning Engine ◽  
Uml Models

Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in detecting a large set of inconsistencies. In order to make this solution available to system designers, we have implemented MCC+, a UML model consistency checker, built as a plug-in for Poseidon for UML, and relying on Jena as a reasoning engine. Compared to other approaches, we propose a usable and scalable solution, interoperable with a known modeling tool. We show the application of MCC+ to a real world large example of a meshing tool.

Representation of Ontology Based Model within the Visual Stock Information System

2013 ◽  
Vol 475-476 ◽  
pp. 767-770
Author(s):  
Hua Zhu Song ◽  
Khamis Abdul Latif Khamis ◽  
Yong Jian Liu ◽  
Luo Zhong
Keyword(s):  
Information System ◽  
Historical Data ◽  
Model Based ◽  
Semantic Classes ◽  
Ontology Model ◽  
Ontology Languages ◽  
Stock Information

This paper tries to figure out the designing requirement of the ontology model based on visual stock information system; it demonstrates the prototype architecture of Ontology domain and ontology languages such as RDF/RDFs and OWL. These ontology languages were then used to identify the stock domain, define the semantic classes, relations, instances of relations and structure the stock vocabulary data into a meaningful domain of information. The proposed ontology model architecture will be able to observe the vocabularies of stock data by categorizing the Domain of classes and build Ontology solutions based on stocks transaction and historical data for the selected companies

Sign in / Sign up

Export Citation Format

Share Document