의미웹 환경에서 조건부함축 제약 지식표현을 위한 SWCL의 확장

Abstract

By the publications of RDF and OWL, the Semantic Web is confirm ed as a technology through which information in the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to how to provide more useful information to users for their decision making beyond simple use of the structured data in ontologies. SWRL that makes logical inference possible by rules , and SWCL that formulates constraints under the Semantic Web environment are some of many efforts toward the ac hievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the lan-guage by adding one more type of constraint, implication consta int, in its repertoire. When users use binary variables to represent logical relationships in mathematical models, it r equires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its nee d, definition and relevant technical description is presented by the use of the optimal common attribute selection problem in product design.