|
Title:
|
CONSTRAINT SATISFACTION PROBLEM SOLVING BASED ON OWL REASONING |
|
Author(s):
|
Haoyi Xiong , Ying Jiang |
|
ISBN:
|
978-972-8924-68-3 |
|
Editors:
|
Pedro Isaías, Miguel Baptista Nunes and Dirk Ifenthaler |
|
Year:
|
2008 |
|
Edition:
|
Single |
|
Keywords:
|
CSP, RDF/OWL, OWL Knowledge Conflicts Detection |
|
Type:
|
Full Paper |
|
First Page:
|
177 |
|
Last Page:
|
182 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
With the rapid development and wide application of the Constraint Satisfaction Problem (CSP) theory, the constraints are
manifold diversities. In order to support a general solving mechanism, we borrow the OWL reasoning technology in
semantic web, and turn the traditional CSP solving into CSP solving based on OWL reasoning (Ocr). According to Ocr,
we present the Domain and Constrains of CSP by using OWL classes, and describe variables states with OWL
individuals. We apply OWL knowledge conflicts detection, which can detect the conflicts between OWL individual and
OWL class, to evaluate whether the variables state is satisfied all constrains. This paper first briefly introduces the basic
description of Ocr, and Enumerating-Reasoning algorithm for solution space searching. We provide a demo of solving a
practical four color problem with Ocr. Finally, in this paper, we pay an outlook to the future works about the more
effective and intelligent Ocr. |
|
|
|
|
|
|
