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

By the publications of RDF and OWL, the Semantic Web is confirmed as a technology through which informationin the Internet can be processed by machines. The focus of the Semantic Web study after then has moved to howto provide more useful information to users for their decision making beyond simple use of the structured data inontologies. SWRL that makes logical inference possible by rules, and SWCL that formulates constraints under theSemantic Web environment are some of many efforts toward the achievement of that goal. Constraint represents aconnection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the languageby adding one more type of constraint, implication constaint, in its repertoire. When users use binary variablesto represent logical relationships in mathematical models, it requires and knowledge on the solver to solve the models. The use of implication constraint ease this difficulty. Its need, definition and relevant technical description is presentedby the use of the optimal common attribute selection problem in product design.