Ç¥ÁØÈ­ Âü¿©¾È³»

TTAÀÇ Ç¥ÁØÇöȲ

Ȩ > Ç¥ÁØÈ­ °³¿ä > TTAÀÇ Ç¥ÁØÇöȲ

Ç¥ÁعøÈ£ TTAE.OT-10.0227 ±¸Ç¥ÁعøÈ£
Á¦°³Á¤ÀÏ 2008-12-19 ÃÑÆäÀÌÁö 76
ÇѱÛÇ¥Áظí OWL À¥ ¿ÂÅç·ÎÁö ¾ð¾î ÀÇ¹Ì¿Í Ã߻󱸹®
¿µ¹®Ç¥Áظí OWL Web Ontology Language Semantics and Abstract Syntax
Çѱ۳»¿ë¿ä¾à OWLÀÇSpecification ¹®¼­µé ÁßÀÇ ÇϳªÀÎ º» Ç¥ÁØÀº OWLÀÇ ¹®¹ý ±¸¹®µéÀ» ´Ù·ç°í ÀÖ´Ù. ƯÈ÷ OWLÀÇ ÇÏÀ§ ¾ð¾îÀÎ OWL DL°ú OWL LiteÀÇ ÀÌ·ÐÀû ¹®¹ý ±¸¹®, RDF Àǹ̸¦ È®ÀåÇÑ ÇüÅÂÀÎ ¸ðµ¨ ÀÌ·ÐÀû ÀÇ¹Ì (model-theoretic semantics), RDF ±×·¡ÇÁ·ÎÀÇ ¸ÅÇÎ µî¿¡ ´ëÇØ »ó¼¼È÷ ±â¼úÇÏ°í ÀÖ´Ù.
¿µ¹®³»¿ë¿ä¾à This description of OWL, the Web Ontology Language being designed by the W3C Web Ontology Working Group, contains a high-level abstract syntax for both OWL DL and OWL Lite, sublanguages of OWL. A model-theoretic semantics is given to provide a formal meaning for OWL ontologies written in this abstract syntax. A model-theoretic semantics in the form of an extension to the RDF semantics is also given to provide a formal meaning for OWL ontologies as RDF graphs (OWL Full). A mapping from the abstract syntax to RDF graphs is given and the two model theories are shown to have the same consequences on OWL ontologies that can be written in the abstract syntax.
±¹Á¦Ç¥ÁØ
°ü·ÃÆÄÀÏ TTAE.OT-10.0227_ed15.pdf TTAE.OT-10.0227_ed15.pdf            

ÀÌÀü
Ȧ·Î±×·¥ ±¤ÇÐ ¼ÒÀÚÀÇ È¸Àý È¿À² ÃøÁ¤ Áöħ
´ÙÀ½
½Ç°¨ µðÁöÅÐ ÈÞ¸Õ Ç°ÁúÆò°¡ ÇÁ·¹ÀÓ¿öÅ© - Á¦1ºÎ: Æò°¡ ¾ÆÅ°ÅØó¿Í Áú¹® ¸ñ·Ï