ã注æã ãã®ããã¥ã¡ã³ãã¯ãW3Cã®OWL 2 Web Ontology Language Document Overview (Second Edition) W3C Recommendation 11 December 2012ã®å訳ã§ãã
ãã®ããã¥ã¡ã³ãã®æ£å¼çã¯W3Cã®ãµã¤ãä¸ã«ããè±èªçã§ããããã®ããã¥ã¡ã³ãã«ã¯ç¿»è¨³ã«èµ·å ãã誤ãããããã¾ãã誤訳ã誤æ¤ãªã©ã®ãææã¯ã訳è
ã¾ã§ãé¡ãè´ãã¾ãã
First Update: 2020å¹´3æ10æ¥
ãã®ããã¥ã¡ã³ãã«å¯¾ããæ£èª¤è¡¨ãåç §ãã¦ãã ãããããã¤ãã®è¦ç¯çãªä¿®æ£ãå«ã¾ãã¦ããããããã¾ããã
ãã®ããã¥ã¡ã³ãã®æ§ãã¼ã¸ã§ã³ä»¥å¾ã®å¤æ´ã示ããè²åããããã¼ã¸ã§ã³ãå©ç¨ã§ãã¾ãã
ãã®ããã¥ã¡ã³ãã¯ãè¦ç¯ä»¥å¤ã®å½¢å¼ã§ãå ¥æã§ãã¾ã: PDFãã¼ã¸ã§ã³ã
翻訳çãåç §ãã¦ãã ããã
Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C liability, trademark and document use rules apply.
OWL 2ã¦ã§ãã»ãªã³ããã¸ã¼è¨èª(éå ¬å¼ã«ã¯OWL 2)ã¯ãå½¢å¼çã«å®ç¾©ãããæå³ãæããã»ãã³ãã£ãã¯ã»ã¦ã§ãã®ããã®ãªã³ããã¸ã¼è¨èªã§ããOWL 2ãªã³ããã¸ã¼ã¯ãã¯ã©ã¹ãããããã£ã¼ãåä½ããã¼ã¿å¤ãæä¾ããã»ãã³ãã£ãã¯ã»ã¦ã§ãã»ããã¥ã¡ã³ãã¨ãã¦ä¿åããã¾ããOWL 2ãªã³ããã¸ã¼ã¯ãRDFã§è¨è¿°ãããæ å ±ã¨å ±ã«ä½¿ç¨ã§ããOWL 2ãªã³ããã¸ã¼èªèº«ã¯ã主ã«RDFããã¥ã¡ã³ãã®å½¢å¼ã§äº¤æãè¡ããã¾ãã
ãã®ããã¥ã¡ã³ãã¯ãOWL 2ããã®ä»ã®æ§ã ãªOWL 2ããã¥ã¡ã³ãã¸ã®å ¥éã®å½¹å²ãæããã¾ãããã®ããã¥ã¡ã³ãã§ã¯ãOWL 2ã®æ§æãæ§ã ãªç¨®é¡ã®ã»ãã³ãã£ã¯ã¹ãå©ç¨å¯è½ãªãããã¡ã¤ã«(ãµãè¨èª)ãOWL 1ã¨OWL 2ã¨ã®é¢ä¿ã«ã¤ãã¦è¨è¿°ãã¦ãã¾ãã
ãã®é ã¯ããã®ããã¥ã¡ã³ãã®å ¬éæã®ã¹ãã¼ã¿ã¹ã«ã¤ãã¦è¨è¿°ãã¦ãã¾ããä»ã®ããã¥ã¡ã³ãããã®ããã¥ã¡ã³ãã«åã£ã¦ä»£ãããã¨ããããã¾ããç¾è¡ã®W3Cã®åè¡ç©ããã³ãã®æè¡å ±åã®ææ°ã®æ¹è¨çã®ãªã¹ãã¯ãhttp://www.w3.org/TR/ã®W3Cæè¡å ±åã¤ã³ããã¯ã¹ã«ããã¾ãã
[email protected](å ¬éã¢ã¼ã«ã¤ã)ã«ã³ã¡ã³ãããéããã ããããã®ããã¥ã¡ã³ãã«å¯¾ããOWLã¯ã¼ãã³ã°ã°ã«ã¼ãã®ä½æ¥ã¯å®äºãã¦ãã¾ãããã³ã¡ã³ãã¯æ£èª¤è¡¨ãä»å¾ã®æ¹å®ã§æ±ããããã¨ãããã¾ããéçºè éã®å ¬éè¨è«ã¯ã[email protected](å ¬éã¢ã¼ã«ã¤ã)ã§æè¿ãã¾ãã
ãã®ããã¥ã¡ã³ãã¯ãW3Cã¡ã³ãã¼ãã½ããã¦ã§ã¢éçºè ãä»ã®W3Cã°ã«ã¼ããããã³ä»ã®å©å®³é¢ä¿è ã«ããã¬ãã¥ã¼ãããW3Cå§åã¨ãã¦ç®¡çè ã®åè³ãå¾ã¾ãããããã¯ç¢ºå®æ¸ã¿ããã¥ã¡ã³ãã§ãããåèè³æã¨ãã¦ç¨ããããå¥ã®ããã¥ã¡ã³ãã§å¼ç¨ãããã¨ãã§ãã¾ããå§åã®ä½æã«ãããW3Cã®å½¹å²ã¯ãä»æ§ã«æ³¨æãå¼ãä»ããåºç¯å²ãªéçºãä¿é²ãããã¨ã§ããããã«ãã£ã¦ã¦ã§ãã®æ©è½æ§ããã³ç¸äºéç¨æ§ãå¢å¼·ããã¾ãã
ãã®ããã¥ã¡ã³ãã¯ã2004å¹´2æ5æ¥ã®W3Cç¹è¨±æ¹éã®ä¸ã§æ´»åãã¦ããã°ã«ã¼ãã«ãã£ã¦ä½æããã¾ããããã®ããã¥ã¡ã³ãã«ã¯ãåèæ å ±ã®ã¿ãå«ã¾ãã¦ãã¾ããW3Cã¯ããã®ã°ã«ã¼ãã®ææç©ã«é¢é£ããããããç¹è¨±ã®é示ã®å ¬éãªã¹ããç¶æãããã®ãã¼ã¸ã«ã¯ç¹è¨±ã®é示ã«é¢ããæ示ãå«ã¾ãã¦ãã¾ãã
ç®æ¬¡ |
ãã®ããã¥ã¡ã³ãã¯ãOWL 2ã¦ã§ãã»ãªã³ããã¸ã¼è¨èªã«é¢ããéè¦ç¯ãã¤ãã¤ã¬ãã«ãªæ¦è¦ãæä¾ããOWL 2ãå®ç¾©ãè¨è¿°ããããã¥ã¡ã³ãã®ããã®ãã¼ããããã®å½¹å²ãæããã¾ãã
ãªã³ããã¸ã¼ã¯ããã°ãã°ç¹å®é åãã«ãã¼ãããããã¦ã¼ã¶ã»ã³ãã¥ããã£ãå ±æãããå½¢å¼åãããç¨èªã®èªå½ã§ãããªã³ããã¸ã¼ã¯ããªã³ããã¸ã¼å ã®ä»ã®ç¨èªã¨ã®é¢ä¿ãè¨è¿°ãããã¨ã«ãããç¨èªã®å®ç¾©ãè¡ãã¾ããOWL 2ã¯ãW3Cã¦ã§ãã»ãªã³ããã¸ã¼ã»ã¯ã¼ãã³ã°ã°ã«ã¼ããéçºãã2004å¹´ã«å ¬è¡¨ããOWLã¦ã§ãã»ãªã³ããã¸ã¼è¨èª(以ä¸ããOWL 1ãã¨ãã)ãæ¡å¼µãæ¹å®ãããã®ã§ããOWL 2ã¯ãå¾ç¶ã°ã«ã¼ãã§ããW3C OWLã¯ã¼ãã³ã°ã°ã«ã¼ã(W3C OWL Working Group)ãéçº(ããã¦ãã®ããã¥ã¡ã³ããè¨è¿°)ãã¦ãã¾ããOWL 1ã¨åãããOWL 2ã¯ããã·ã³ãã¦ã§ãã»ã³ã³ãã³ããããæ´»ç¨ã§ããããã«ããã¨ãã究極ã®ç®æ¨ãæãã¦ããããªã³ããã¸ã¼ã®éçºã容æã«ãªãããã«è¨è¨ãããã¦ã§ãã§å ±æããã¾ãã
å³1ã¯ã主è¦ãªæ§æè¦ç´ ã¨ãããã®ç¸äºã®é¢é£ã示ããã¨ã«ãããOWL 2è¨èªã®æ¦è¦ã示ãã¦ãã¾ããä¸å¤®ã®æ¥åã¯ããªã³ããã¸ã¼ã®æ½è±¡è¦³å¿µã表ãã¦ããããªã³ããã¸ã¼ãæ½è±¡æ§é ã¾ãã¯RDFã°ã©ãã¨ãã¦æãããã¨ãã§ãã¾ã(2.1 ãªã³ããã¸ã¼ãåç §)ãä¸é¨ã«ã¯ããªã³ããã¸ã¼ãã·ãªã¢ã«åãã交æããããã«ä½¿ç¨ã§ããæ§ã ãªå ·è±¡æ§æ(2.2 æ§æãåç §)ãããã¾ããä¸é¨ã«ã¯ãOWL 2ãªã³ããã¸ã¼ã®æå³ãå®ç¾©ãã¦ãã2ã¤ã®ã»ãã³ãã£ãã¯ä»æ§ãããã¾ã(2.3 ã»ãã³ãã£ã¯ã¹ãåç §)ã
OWL 2ã®ã»ã¨ãã©ã®ã¦ã¼ã¶ã¯ã1ã¤æ§æã¨1ã®ã»ãã³ãã£ã¯ã¹ã®ã¿ãå¿ è¦ã¨ããã§ãããããããã®ã¦ã¼ã¶ã®å ´åã¯ãä¸é¨ã«æ§æã1ã¤ãä¸é¨ã«1ã¤ã®ã»ãã³ãã£ã¯ã¹ãããã ãã§ãä¸å¤®ã®æ¥åã«ä½ããããã¯ã»ã¨ãã©ç¥ãå¿ è¦ããªãããã®å³è¡¨ã¯ãã¯ããã«ã·ã³ãã«ãªãã®ã«ãªãã§ãããã
å³1 OWL 2ã®æ§é
OWL 2ãªã³ããã¸ã¼ã®æ¦å¿µæ§é ã¯ãOWL 2æ§é ä»æ§ããã¥ã¡ã³ã[OWL 2 Structural Specification]ã§å®ç¾©ããã¦ãã¾ãããã®ããã¥ã¡ã³ãã§ã¯ãUML[UML]ãç¨ãã¦ãOWL 2ã®æå¹ãªæ§é è¦ç´ ãå®ç¾©ãã¦ãããç¹å®ã®æ§æã¨ã¯é¢ä¿ãªãã«ãæ½è±¡ç¨èªã§ãããã®å½¹å²ã¨æ©è½ã«ã¤ãã¦èª¬æãã¦ãã¾ããé¢æ°åæ§æãå®ç¾©ãã¦ãããããã¯ãæ§é ä»æ§ã«å³å¯ã«å¾ã£ã¦ãããããOWL 2ãªã³ããã¸ã¼ãã³ã³ãã¯ããªå½¢å¼ã§è¨è¿°ãããã¨ãã§ãã¾ãã
ããããOWL 2ãªã³ããã¸ã¼ã¯ãRDFã°ã©ãã§ã表示ã§ãã¾ãããããã®2ã¤ã®è¡¨ç¤ºå½¢å¼ã®é¢ä¿ã¯ãRDFã°ã©ãã¸ã®ãããã³ã°ã¨ããããã¥ã¡ã³ã[OWL 2 RDF Mapping]ã§ä»æ§ãå®ãããã¦ãããæ§é å½¢å¼ããRDFã°ã©ãå½¢å¼ãã¾ãã¯ãã®éã®ãããã³ã°ã«ã¤ãã¦å®ç¾©ãã¦ãã¾ããOWL 2ã¯ã£ãã¯ã»ãªãã¡ã¬ã³ã¹ã»ã¬ã¤ã[OWL 2 Quick Guide]ã§ã¯ãOWL 2ã®ãããã®2ã¤ã®è¡¨ç¤ºå½¢å¼ã«é¢ããæ¦è¦ãä½µè¨ããå½¢ã§ç¤ºãã¦ãã¾ãã
å®éã«ã¯ãOWL 2ãªã³ããã¸ã¼ãèç©ç´ããããããã¼ã«ãã¢ããªã±ã¼ã·ã§ã³éã§äº¤æããããã«ã¯ãå ·è±¡æ§æãå¿ è¦ã§ããOWL 2ã®ä¸»ãªäº¤ææ§æã¯ãRDF/XML[RDF Syntax]ã§ããããã¯ãå®éããã¹ã¦ã®OWL 2ãã¼ã«ããµãã¼ãããªããã°ãªããªãå¯ä¸ã®æ§æ(OWL 2é©åæ§ããã¥ã¡ã³ã[OWL 2 Conformance]ã®2.1é ãåç §)ã§ãã
RDF/XMLãç¨ããã¨ãOWL 2ãã¼ã«ã«ã¯ç¸äºéç¨æ§ãåããã¾ãããä»ã®å ·è±¡æ§æãç¨ãããã¨ãå¯è½ã§ããããã«ã¯ãTurtle[Turtle]ãªã©ã®é¸æå¯è½ãªRDFã·ãªã¢ã«åãXMLã·ãªã¢ã«å[OWL 2 XML]ãããã¤ãã®ãªã³ããã¸ã¼ç·¨éãã¼ã«ã§ç¨ãããã¦ãããã³ãã§ã¹ã¿ã¼æ§æ[OWL 2 Manchester Syntax]ã¨å¼ã°ããããããèªãã§ç解ã§ãããæ§æãå«ã¾ãã¾ããæå¾ã«ãé¢æ°åã®æ§æããè¨èªæ§é ã®å®ç¾©[OWL 2 Structural Specification]ã主ãªç®çã¨ãã¦ãããã®ã®ãã·ãªã¢ã«åã«ä½¿ç¨ã§ãã¾ãã
æ§æå | ä»æ§ | ã¹ãã¼ã¿ã¹ | ç®ç |
---|---|---|---|
RDF/XML | Mapping to RDF Graphs, RDF/XML |
å¿ é | 交æ(ãã¹ã¦ã®é©åOWL 2ã½ããã¦ã§ã¢ã§èªã¿æ¸ãã¿å¯è½) |
OWL/XML | XML Serialization | ä»»æ | XMLãã¼ã«ãç¨ããå¦çãç°¡å |
é¢æ°åæ§æ | Structural Specification | ä»»æ | ãªã³ããã¸ã¼ã®å½¢å¼çæ§é ãè¦ãã®ãç°¡å |
ãã³ãã§ã¹ã¿ã¼æ§æ | Manchester Syntax | ä»»æ | DLãªã³ããã¸ã¼ã®èªã¿æ¸ããç°¡å |
Turtle | Mapping to RDF Graphs, Turtle |
ä»»æãOWL-WGãä½æãããã®ã§ã¯ãªã | RDFããªãã«ã®èªã¿æ¸ããç°¡å |
OWL 2æ§é ä»æ§ããã¥ã¡ã³ãã¯ãOWL 2ãªã³ããã¸ã¼ã®æ½è±¡æ§é ãå®ç¾©ãã¦ãã¾ããããã®æå³ã¯å®ç¾©ãã¦ãã¾ããããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹[OWL 2 Direct Semantics]ã¨RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹[OWL 2 RDF-Based Semantics]ããOWL 2ãªã³ããã¸ã¼ã«æå³ãå²ãå½ã¦ã2ã¤ã®å¥ã ã®æ¹æ³ããããã2ã¤ããªã³ã¯ããã対å¿å®ç(correspondence theorem)ã¨å ±ã«æä¾ãã¾ãããããã®2ã¤ã®ã»ãã³ãã£ã¯ã¹ã¯ãã¯ã©ã¹ã®æ´åæ§ãå å«ãã¤ã³ã¹ã¿ã³ã¹ã®æ¤ç´¢ã¯ã¨ãªã«å¯¾å¿ããããã«ãæ¨è«ã·ã¹ãã ããã®ä»ã®ãã¼ã«ãªã©ã§ç¨ãããã¾ãã
ãã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ã¯ããªã³ããã¸ã¼æ§é ã«ç´æ¥çã«æå³ãå²ãå½ã¦ããã¨ã«ãããSROIQè¨è¿°è«ç(æçãªè¨ç®ç¹æ§ãæããä¸éè«ç(first order logic)ã®æç)ã®ã¢ãã«çè«ã»ãã³ãã£ã¯ã¹ã¨äºææ§ãæããã»ãã³ãã£ã¯ã¹ãå®ç¾ãã¾ãããã®å¯æ¥ãªé¢ä¿ã®å©ç¹ã¯ã大éã®è¨è¿°è«çææ¸ã¨å®è£ çµé¨ãOWL 2ãã¼ã«ã§ç´æ¥å©ç¨ã§ããã¨ãããã¨ã§ãããããããããã確å®ã«SROIQç¥èãã¼ã¹ã«å¤æã§ããããã«ããããã«ã¯ããªã³ããã¸ã¼æ§é ã«ããã¤ãã®æ¡ä»¶ãä»ä¸ããªããã°ãªãã¾ãããä¾ãã°ãæ°ã®å¶éã«æ¨ç§»çãªããããã£ã¼ã使ç¨ã§ãã¾ãã(ãã®æ¡ä»¶ã®å®å ¨ãªãªã¹ãã¯ãOWL 2æ§é ä»æ§ããã¥ã¡ã³ã[OWL 2 Structural Specification]ã®3é ãåç §ãã¦ãã ãã)ããããã®æ§ææ¡ä»¶ãæºãããªã³ããã¸ã¼ã¯ãOWL 2 DLãªã³ããã¸ã¼ã¨å¼ã°ãã¾ãããOWL 2 DLãã¯ãéå ¬å¼ã«ã¯ããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹[OWL 2 Direct Semantics]ãç¨ãã¦è§£éããOWL 2 DLãªã³ããã¸ã¼ãæãããã«ç¨ãããã¾ãã
RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹[OWL 2 RDF-Based Semantics]ã¯ãRDFã°ã©ãã«ç´æ¥çã«æå³ãå²ãå½ã¦ããããRDFã°ã©ãã¸ã®ãããã³ã°ã«ãã£ã¦éæ¥çã«ãªã³ããã¸ã¼æ§é ã«æå³ãå²ãå½ã¦ã¾ããRDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã¯ãRDFã»ãã³ãã£ã¯ã¹[RDF Semantics]ã¨å®å ¨ã«äºææ§ããããRDFç¨ã«å®ç¾©ãããã»ãã³ãã£ãã¯ä¸ã®æ¡ä»¶ãæ¡å¼µãã¾ããRDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã¯ãããããOWL 2ãªã³ããã¸ã¼ãRDFã«ãããã³ã°ã§ããããã«ãããããOWL 2ãªã³ããã¸ã¼ã«å¶éãªãé©ç¨ã§ãã¾ãããOWL 2 Fullãã¯ãéå ¬å¼ã«ã¯ãOWL 2ãªã³ããã¸ã¼ã§ããã¨ã¿ãªãããRDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ãç¨ãã¦è§£éãããRDFã°ã©ããæãããã«ç¨ãããã¾ãã
RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã»ããã¥ã¡ã³ã[OWL 2 RDF-Based Semantics]ã®7.2é ã®å¯¾å¿å®çã¯ããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ã¨RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã¨ã®æ£ç¢ºãã¤å¯æ¥ãªé¢ä¿ãå®ç¾©ãã¾ããåºæ¬çã«ããã®å®çã¯ãOWL 2 DLãªã³ããã¸ã¼ã§ã¯ããã®ãªã³ããã¸ã¼ãRDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ãç¨ãã¦RDFã°ã©ãã«ãããã³ã°ããããã¤ã解éãããå ´åã«ã¯ããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ãç¨ãã¦å¾ãããæ¨è«ã¯æå¹æ§ãä¿ã£ã¦ããã§ãããã¨ãããã¨ãè¿°ã¹ã¾ãã
OWL 2ãããã¡ã¤ã«[OWL 2 Profiles]ã¯ãç¹å®ã®ã¢ããªã±ã¼ã·ã§ã³ã»ã·ããªãªã«å¤§ããªå¹æãããããOWL 2ã®ãµãè¨èª(æ§æãµãã»ãã)ã§ããOWL 2 ELãOWL 2 QLãOWL 2 RLã¨ãã3ã¤ã®ç°ãªããããã¡ã¤ã«ãå®ç¾©ããã¦ãã¾ããåãããã¡ã¤ã«ã¯ãOWL 2æ§æä»æ§ã®æ§æä¸ã®å¶éãããªãã¡ãé©åãããªã³ããã¸ã¼ã«ä½¿ç¨å¯è½ãªãOWL DLãããå¶éã®å¼·ãæ§é è¦ç´ ã®ãµãã»ããã§ããã¨å®ç¾©ããã¾ããåãããã¡ã¤ã«ã¯ãè¨ç®ä¸ãããã³/ã¾ãã¯ãå®è£ ä¸ã®ç°ãªãå¹æãå¾ãããã«ãOWLã®è¡¨ç¾åã®ç°ãªãç¹å¾´ã®ãããããé¸æãã¦ç¨ãã¾ãã
OWL 2 ELã§ã¯ããã¹ã¦ã®æ¨æºçãªæ¨è«ä½æ¥ã«å¯¾ããå¤é å¼æéã¢ã«ã´ãªãºã (polynomial time algorithm)ãå¯è½ã§ããããã¯ãé常ã«å¤§è¦æ¨¡ãªãªã³ããã¸ã¼ãå¿ è¦ãªã¢ããªã±ã¼ã·ã§ã³ãã表ç¾åã¨å¼ãæãã«æ§è½ã確ä¿ãããããªã¢ããªã±ã¼ã·ã§ã³ã«ç¹ã«é©ãã¦ãã¾ããOWL 2 QLã§ã¯ãæ¨æºçãªãªã¬ã¼ã·ã§ãã«ã»ãã¼ã¿ãã¼ã¹æè¡ãç¨ãã¦ãè«çç©ã¯ã¨ãªã«LogSpace(ããæ£ç¢ºã«ã¯ãAC0)ã§çãããã¨ãã§ãã¾ããããã¯ç¹ã«ãæ¯è¼ç軽ããªã³ããã¸ã¼ã§å¤ãã®åä½ãçµç¹åããã¢ããªã±ã¼ã·ã§ã³ãããªã¬ã¼ã·ã§ãã«ãªã¯ã¨ãª(ä¾ãã°ãSQL)ã§ç´æ¥ãã¼ã¿ã«ã¢ã¯ã»ã¹ãããã¨ãæç¨ã¾ãã¯å¿ è¦ãªã¢ããªã±ã¼ã·ã§ã³ã«é©ãã¦ãã¾ããOWL 2 RLã§ã¯ãRDFããªãã«ã§ç´æ¥åä½ããè¦åæ¡å¼µãã¼ã¿ãã¼ã¹æè¡ãç¨ããå¤é å¼æéæ¨çã¢ã«ã´ãªãºã ã®å®è£ ãå¯è½ã§ããããã¯ç¹ã«ãæ¯è¼ç軽ããªã³ããã¸ã¼ã§å¤ãã®åä½ãçµç¹åããã¢ããªã±ã¼ã·ã§ã³ããRDFããªãã«å½¢å¼ã®ãã¼ã¿ã§ç´æ¥åä½ãããã¨ãæç¨ã¾ãã¯å¿ è¦ãªã¢ããªã±ã¼ã·ã§ã³ã«é©ãã¦ãã¾ãã
ãã¡ãããOWL 2 ELãQLãRLã®ãªã³ããã¸ã¼ã®ããããOWL 2ãªã³ããã¸ã¼ã§ããããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ãRDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã®ã©ã¡ããã§è§£éã§ãã¾ããOWL 2 RLãç¨ããå ´åã«ã¯ãè¦åãã¼ã¹ã®å®è£ ãRDFããªãã«ã§åä½ã§ãããããä»»æã®RDFã°ã©ããã¤ã¾ããããããOWL 2ãªã³ããã¸ã¼ã«é©ç¨ã§ãã¾ãããã®å ´åãæ¨çã¯å¸¸ã«é©å(ããªãã¡ãã¯ã¨ãªã«å¯¾ããæ£è§£ã®ã¿ãç®åºããã)ã§ãããå®å ¨ã§ã¯ãªãããããã¾ãã(ããªãã¡ãã¯ã¨ãªã«å¯¾ãããã¹ã¦ã®æ£è§£ãå¾ããããã¨ãä¿è¨¼ããã¦ããããã§ã¯ãªã)ããããããããã¡ã¤ã«ã»ããã¥ã¡ã³ãã®å®çPR1ã¯ã(ä¸è¬çã«)ãªã³ããã¸ã¼ãOWL 2 RLã®æ§é ä¸ã®å®ç¾©ã¨æ´åæ§ãããå ´åã«ã¯ãåºç¤ååã¯ã¨ãªãå®è¡ãã¦ããé©åãªè¦åãã¼ã¹ã®å®è£ ããé©åãã¤å®å ¨ã§ããã¨è¿°ã¹ã¾ãã
OWL 2ã¯ãOWL 1ã¨å ¨ä½çãªæ§é ãé常ã«ä¼¼ã¦ãã¾ããå³1ã«ããããã«ãOWL 2ã®ã»ã¨ãã©ãã¹ã¦ã®æ§æè¦ç´ ã¯ãååã¯ç°ãªã£ã¦ãããã®ã®ãOWL 1ã«åå¨ãã¦ãã¾ããã
RDF/XMLã®ä¸å¿ã¨ãªãå½¹å²ããã®ä»ã®æ§æã®å½¹å²ããã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ã¨RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã¨ã®é¢ä¿(ããªãã¡ã対å¿å®ç)ã¯å¤ã£ã¦ãã¾ãããããã«éè¦ãªãã¨ã«ãOWL 1ã¨ã®ä¸ä½äºæã¯ãããããç¹ã«ããã¦å®å ¨ã§ããã¤ã¾ãããã¹ã¦ã®OWL 1ãªã³ããã¸ã¼ã¯ãæå¹ãªOWL 2ãªã³ããã¸ã¼ã§ãããããã¹ã¦ã®äºä¾ã«ããã¦åãæ¨è«ã«ãªãã¾ã(OWL 2ã®æ°æ©è½ã¨åç[OWL 2 New Features and Rationale]ã®4.2é ãåç §)ã
OWL 2ã¯ãOWL 1ã«æ°ããæ©è½ã追å ãã¦ãã¾ããæ°æ©è½ã®ä¸é¨ã¯ç³è¡£æ§æ(ä¾ãã°ãã¯ã©ã¹ã®ç´å(disjoint union))ã§ããã®ä»ã¯ã次ã®ç¹ãå«ãæ°ãã表ç¾æ§ã®æä¾ã§ãã
OWL 2ã§ã¯ã3ã¤ã®æ°ãããããã¡ã¤ã«[OWL 2 Profiles]ã¨æ°ããæ§æ[OWL 2 Manchester Syntax]ãå®ç¾©ãã¦ãã¾ããããã«ãOWL DLã§ã¯ãé©åãªå¶éã®ä¸é¨ãç·©åããã¾ããããã®çµæãè¨è¿°è«çæ¨è«ã·ã¹ãã ãæ±ããã¨ãã§ããRDFã°ã©ãã¯ãOWL 2ã®æ¹ããããã«å¤ãã§ãã
ä¸è¨ã¯ãã¹ã¦ãOWL 2ã®æ°æ©è½ã¨åçããã¥ã¡ã³ã[OWL 2 New Features and Rationale]ã«è©³ç´°ã«è¨è¿°ããã¦ãã¾ããOWL 2ã¯ã£ãã¯ã»ãªãã¡ã¬ã³ã¹ã»ã¬ã¤ã[OWL 2 Quick Guide]ããæ°è¦é¨åãæ示ãã¤ã¤ãOWL 2ã®æ©è½ã®æ¦è¦ãæä¾ãã¦ãã¾ãã
OWL 2ãªã³ããã¸ã¼è¨èªã¯ãæ¦å¿µæ§é ã主è¦ãªäº¤ææ§æ(RDF/XML)ã2ã¤ã®é¸æçãªã»ãã³ãã£ã¯ã¹(ãã¤ã¬ã¯ãããã³RDFãã¼ã¹)ãé©åæ§è¦ä»¶ãè¨è¿°ãã5ã¤ã®ã³ã¢ä»æ§æ¸ã§è¦ç¯çã«å®ç¾©ããã¦ãã¾ããè¨èªãããã¡ã¤ã«ã¨é¸æå¯è½ãª2ã¤ã®å ·è±¡æ§æ(OWL/XMLã¨ãã³ãã§ã¹ã¿ã¼)ã®3ã¤ã®è¿½å ä»æ§ããã¥ã¡ã³ãã§ã¯ãä¸é¨ã®å®è£ ã§ãµãã¼ãã§ãããªãã·ã§ã³ã®æ©è½ã«ã¤ãã¦èª¬æãã¦ãã¾ãã
ãããããããã®ããã¥ã¡ã³ãã¯ãã¹ã¦ãããªãæè¡çãªãã®ã§ããã主ã«OWL 2ã®å®è£ è ããã¼ã«éçºè åãã§ããOWL 2ã®æ©è½ã¨ä½¿ç¨æ¹æ³ã®ããåãããããæå¼ãæ±ãã人ã¯ãã¦ã¼ã¶ã»ããã¥ã¡ã³ã(å ¥éãæ°æ©è½ã¨åçãã¯ã£ãã¯ã»ãªãã¡ã¬ã³ã¹ã»ã¬ã¤ã)ã®ãã¡ã®ããããã®æ¹ãæã¾ããããããã¾ããã
ãã¼ã | ç¨®å¥ | ããã¥ã¡ã³ã |
---|---|---|
1 | ã¦ã¼ã¶åã | ããã¥ã¡ã³ãæ¦è¦ãOWL 1ã¨ã®é¢ä¿ã«é¢ããè¨è¿°ãå«ãã OWL 2ä»æ§ã®ç°¡åãªæ¦è¦ãããã¯ãOWL 2ã®åºçºç¹ã§ããã主è¦ãªåç §ãã¤ã³ãã§ãã |
2 | ã³ã¢ä»æ§ | æ§é ä»æ§ã¨é¢æ°åæ§æã¯ããã®æ§é ã¨é¢æ°åæ§æã®ä¸¡æ¹ã«é¢ãã¦ã¯OWL 2ãªã³ããã¸ã¼ã®æ§æåãå®ç¾©ããOWL 2ãªã³ããã¸ã¼ã®ã°ãã¼ãã«ãªå¶éã«é¢ãã¦ã¯OWL 2 DLãªã³ããã¸ã¼ãå®ç¾©ãã¾ãã |
3 | ã³ã¢ä»æ§ | RDFã°ã©ãã¸ã®ãããã³ã°ã¯ãOWL 2æ§æåã®RDFã°ã©ãã¸ã®ãããã³ã°ãå®ç¾©ãã¦ããããã®çµæãã»ãã³ãã£ãã¯ã»ã¦ã§ãã§OWL 2ãªã³ããã¸ã¼ã交æãã主ãªæ¹æ³ãå®ç¾©ããã¦ãã¾ãã |
4 | ã³ã¢ä»æ§ | ãã¤ã¬ã¯ãã»ã»ãã³ãã£ã¯ã¹ã¯ãã¢ãã«çè«ã»ãã³ãã£ã¯ã¹ãç¨ãã¦ãOWL 2ãªã³ããã¸ã¼ã®æå³ãå®ç¾©ãã¾ãã |
5 | ã³ã¢ä»æ§ | RDFãã¼ã¹ã®ã»ãã³ãã£ã¯ã¹ã¯ãRDFã»ãã³ãã£ã¯ã¹ã®æ¡å¼µã«ãããOWL 2ãªã³ããã¸ã¼ã®æå³ãå®ç¾©ãã¾ãã |
6 | ã³ã¢ä»æ§ | é©åæ§ã¯ãOWL 2ãã¼ã«ã®è¦ä»¶ã¨ãé©åæ§ã決å®ããããã®ãã¹ãã±ã¼ã¹ãæä¾ãã¾ãã |
7 | ä»æ§ | ãããã¡ã¤ã«ã¯ãç¹å®ã®ã¢ããªã±ã¼ã·ã§ã³ã»ã·ããªãªã«å¤§ããªå¹æãããããOWL 2ã®3ã¤ã®ãµãè¨èªãå®ç¾©ãã¾ãã |
8 | ã¦ã¼ã¶åã | OWL 2å ¥éã¯ãä»ã®åéã«å±ãã人ã ã¸ã®ãªãªã¨ã³ãã¼ã·ã§ã³ãå«ãOWL 2ã«é¢ããåããããã説æãæä¾ãã¾ãã |
9 | ã¦ã¼ã¶åã | OWL 2ã®æ°æ©è½ã¨åçã¯ãOWL 2ã®ä¸»ãªæ°æ©è½ã®æ¦è¦ã示ããããããè¨èªã«å°å ¥ããåæ©ã¥ããè¡ãã¾ãã |
10 | ã¦ã¼ã¶åã | OWL 2ã¯ã£ãã¯ã»ãªãã¡ã¬ã³ã¹ã»ã¬ã¤ãã¯ãOWL 1ããã®å¤æ´ç¹ã説æããOWL 2ã®æ§æåã«é¢ããç°¡æãªã¬ã¤ããæä¾ãã¾ãã |
11 | ä»æ§ | XMLã·ãªã¢ã«åã¯ãOWL 2ãªã³ããã¸ã¼ã交æããããã®XMLæ§æãå®ç¾©ããã¹ãã¼ãã»ãã¼ã¹ã®ã¨ãã£ã¿ãXQuery/XPathã®ãããªXMLãã¼ã«ãç¨ãã使ç¨ã«é©ãã¦ãã¾ãã |
12 | ä»æ§ | ãã³ãã§ã¹ã¿ã¼æ§æ(WGãã¼ã)ã¯ãä¸é¨ã®OWL 2ã¦ã¼ã¶ã»ã¤ã³ã¿ã¼ãã§ã¼ã¹ã»ãã¼ã«ã«ç¨ããããå ¥éã§ãç¨ãããã¦ããOWL 2ã®èªã¿ãããããããããã¾ãå½¢å¼çã§ã¯ãªãæ§æãå®ç¾©ãã¦ãã¾ãã |
13 | ä»æ§ | ãã¼ã¿å¤åæ¡å¼µ: ç·åæ¹ç¨å¼(WGãã¼ã)ã¯ãããããã£ã¼å¤ã«å¯¾ããé«åº¦ãªè¦å¶ããµãã¼ãããOWL 2ã«æ¡å¼µãªãã·ã§ã³ãå®ãã¦ãã¾ãã |
ãã®é ã§ã¯ã2009å¹´10æ27æ¥ã®å§å以å¾ã®ãã®ããã¥ã¡ã³ãã¸ã®å¤æ´ãã¾ã¨ãã¦ãã¾ãã
2009å¹´9æ22æ¥ã®å§åæ¡ä»¥å¾ããã®ããã¥ã¡ã³ãã«å¯¾ããå¤æ´ã¯ããã¾ããã
ãã®é ã§ã¯ã2009å¹´6æ11æ¥ã®æçµèæ¡ä»¥å¾ã®ãã®ããã¥ã¡ã³ãã¸ã®å¤æ´ãã¾ã¨ãã¦ãã¾ãã
OWL 2ã®éçºã®åºçºç¹ã¯ãOWL 1.1ã¡ã³ãã¼ã®ææ¡ã§ãããèªèº«ã¯ãã¦ã¼ã¶ã¨éçºè ã®ãã£ã¼ãããã¯ã®çµæã§ãããç¹ã«ãOWLçµé¨ã¨èª¬æ(OWLED)ã¯ã¼ã¯ã·ã§ããã»ã·ãªã¼ãºã®éã«éã¾ã£ãæ å ±ã§ããã¯ã¼ãã³ã°ã°ã«ã¼ãã¯ãWebOntã¯ã¼ãã³ã°ã«ã¼ãã§å éãããã¦ãã課é¡ã«ã¤ãã¦ãæ¤è¨ãã¾ããã
ãã®ããã¥ã¡ã³ãã¯ãOWLã¯ã¼ãã³ã°ã°ã«ã¼ãã«ãã£ã¦è£½ä½ãã(ä¸è¨ãåç §)ãã³ã³ãã³ãã¯ã¯ã¼ãã³ã°ã°ã«ã¼ãå ¨ä½ã®åºç¯å²ã«ãããè°è«ãåæ ãã¦ãã¾ããç·¨éè ã¯ãå¾¹åºçãªã¬ãã¥ã¼ã«é¢ããIvan Herman (W3C/ERCIM)ãIan Horrocks (Oxford University)ãPeter F. Patel-Schneider (Bell Labs Research, Alcatel-Lucent)ã«ç¹ã«è¬æã表ãã¾ãã
ãã®ããã¥ã¡ã³ãã®å ¬è¡¨æç¹ã®OWLã¯ã¼ãã³ã°ã°ã«ã¼ãã®ä¼åã®æ£è¦åºå¸è ã¯æ¬¡ã®éãã§ãããJie Bao (RPI)ãDiego Calvanese (Free University of Bozen-Bolzano)ãBernardo Cuenca Grau (Oxford University Computing Laboratory)ãMartin Dzbor (Open University)ãAchille Fokoue (IBM Corporation)ãChristine Golbreich (Université de Versailles St-Quentin and LIRMM)ãSandro Hawke (W3C/MIT)ãIvan Herman (W3C/ERCIM)ãRinke Hoekstra (University of Amsterdam)ãIan Horrocks (Oxford University Computing Laboratory)ãElisa Kendall (Sandpiper Software)ãMarkus Krötzsch (FZI)ãCarsten Lutz (Universität Bremen)ãDeborah L. McGuinness (RPI)ãBoris Motik (Oxford University Computing Laboratory)ãJeff Pan (University of Aberdeen)ãBijan Parsia (University of Manchester)ãPeter F. Patel-Schneider (Bell Labs Research, Alcatel-Lucent)ãSebastian Rudolph (FZI)ãAlan Ruttenberg (Science Commons)ãUli Sattler (University of Manchester)ãMichael Schneider (FZI)ãMike Smith (Clark & Parsia)ãEvan Wallace (NIST)ãZhe Wu (Oracle Corporation)ãAntoine Zimmermann (DERI Galway)ãã¯ã¼ãã³ã°ã°ã«ã¼ãã®å ã®ã¡ã³ãã¼ã§ããJeremy CarrollãJim HendlerãVipul Kashyapã«ãæè¬ç³ãä¸ãã¾ãã