DOI QR코드

DOI QR Code

An Extension of SWCL to Represent Logical Implication Knowledge under Semantic Web Environment

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

  • Received : 2014.04.29
  • Accepted : 2014.06.10
  • Published : 2014.09.30

Abstract

By the publications of RDF and OWL, the Semantic Web is confirmed 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 achievement of that goal. Constraint represents a connection or a relationship between individual data in ontology. Based on SWCL, this paper tries to extend the language by adding one more type of constraint, implication constaint, in its repertoire. When users use binary variables to 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 presented by the use of the optimal common attribute selection problem in product design.

Keywords

References

  1. 김학진, 이삼열, 윤소현, "논리기반 벤더스 분리법을 이용한 재품설계 공통속성 최적선택의 풀이", 한국생산관리학회지, 제24권, 제2호(2013), pp.261-277.
  2. 이명진, 김우주, 김학진, "시맨틱 웹 환경에서의 부분선형 제약지식 표현을 위한 SWCL의 확장", 한국경영과학회지, 제37권, 제4호(2012), pp.19-35.
  3. 이명진, 김학진, 김우주, "의미망 제약식언어를 기반으로 한 인터넷 쇼핑 의사결정 틀", 한국경영과학회지, 제33권, 제3호(2008), pp.29-42.
  4. Anoniou, G. and F. Harmelen, Handbook on Ontologies in Information Systems, Springer, 2003.
  5. Bassiliades, N. and P.M.D. Gray, "Colan : A Functional Constraint Language and Its Implementatin," Data and Knowledge Engineering, Vol.14, No.3(1994), pp.203-249.
  6. Berners-Lee, T., R. Fielding, and L. Masinter, "Uniform Resource Identifier(URI) : Generic Syntax," RFC 3986/STD 66, 2005.
  7. Bratt, S., "Semantic Web, and Other Technologies to Watch," World Wide Web Consortium, 2007.
  8. Bray, T., J. Aoli, C.M. Sperberg-McQueen, and E. Maler, "Extensible Markup Language (XML) 1.0(Fifth Edition)," W3C Recommendation, 2008.
  9. Gerald, H. and M. Stefan, "ILOG OPL Studio," OR Spktrum : Organ der Deutschen Gesellschaft Fur Operations Research, Vol.21, No. 4(1999), pp.419-427.
  10. Gray, P., K. Hui, and A. Preece, "An Expressive Constraint Language for Semantic Web Applications," IJCAI01 Workshop on e-business and the intelligent web, 2001.
  11. Horrocks, I., P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL : A Semantic Web Rule Language Combining OWL and RuleML," Acknowledged W3C Member Submission, NRC 48058, 2004.
  12. Kifer, M., "Rule Interchange Format : The Framework," Lecture Notes in Computer Science, Vol.5341(2008), pp.1-2.
  13. Kim, H.J., W. Kim, and J. Kim, "An Intelligent Shopping Agent for optimal Purchasing Decision on the Semantic Web," Lecture Notes on Computer Science, Vol.4623(2006), pp.192-201.
  14. Kim, H.J., W. Kim, and M. Lee, "Semantic Web Constraint Language and its application to an intelligent shopping agent," Decision Support Systems, Vol.46, No.4(2009), pp.882-894. https://doi.org/10.1016/j.dss.2008.12.004
  15. Krishnan, R., "Knowledge Based Aids for Model Construction," Ph.D. Thesis, The University of Texas, Austin, 1987.
  16. Lee, J.K. and M.Y. Kim, "Knowledge-assisted Optimization Model Formulation : UNIK OPT," Decision Support Systems, Vol.13, No.2(1995), pp.111-132. https://doi.org/10.1016/0167-9236(93)E0028-C
  17. Miller, E., "An Introduction to the Resource Desciption Framework," Bulletin of the American Society for Information Science, Vol. 25, No.1(1998), pp.15-19.
  18. Preece, A., S. Chalmers, C. Mckenzie, J.Z. Pan, and P. Gray, "Handling Soft Constraint in the Semantic Web Architecture," In Proceeding Resoning on the Web Workshop (RoW) at WWW, Edinburgh, UK, (2006), pp.22-26.
  19. Yeom, K. and J.K. Lee, "Logical Representation of Integer Programming," Decision Support Systems, Vol.18, No.3/4(1996), pp.227-251. https://doi.org/10.1016/S0167-9236(96)80002-9