홈 > 표준화 개요 > 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
| ||
