DAML
出自 MBA智库百科(https://wiki.mbalib.com/)
- DAML(DARPA Agent Markup Language)
目錄 |
DAML是由美國國防高級研究計劃局(DARPA)資助，美國多個研究機構和工業組織參與研究建立的一種描述語言，DAML力圖包含RDF、OIL等語義網語言的優點。DAML的早期版本是DAML-ONT，後來與OIL緊密結合形成了DAML+OIL，下文中DAML均指DAML+OIL。
DAML是專門為語義網設計的一種描述語言，它利用現有的XML和RDF等Web標準，增加了面向對象和基於框架系統的本體原語以及嚴格形式化的描述邏輯。與RDF不同的是，DAML+OIL不是數據模型，而是用來限制和描述以RDF數據模型顯示的數據的結構語言。DAML基於描述邏輯，它同樣具有OIL的優點，因為它是建立在RDF之上，所以也具有RDF的缺陷。
DAML以RDF三元組模型為基礎，用自己的辭彙對RDF三元組賦予具體的含義。在DAML中，定義了兩種域，一種是數據類型域，它由屬於XML Schema數據類型的值組成，另一種是對象域，它由個別對象組成，這些對象可以被看做是DAML(或RDF)中所定義的類的成員。
DAML的結構[1]
DAML採用類和屬性來描述域的結構，採用公理集來聲明這些類和屬性的特征。
(1)DAML的類(Class)。DAML允許將類表示為一個單獨類、組成類的一系列實例、屬性限制或類表示的布爾組合，用daml：intersectionOf、daml：unionOf和daml：complementOf等屬性提供類表示的和取、析取和否定。DAML的另一個重要特點是subClassOf和SameClassAs公理能夠用於任意的類表述，增強了表達能力，而且，DAML允許聲明屬性的屬性。
(2)DAML的屬性(Property)。DAML的屬性是一種二元關係，它包含著兩個項。DAML的屬性有兩種：一種用於描述對象與對象之間的關係，稱為daml：0bjectProperty；另一種用於描述對象與數據類型值之間的關係，稱為daml：DatatypeProperty。DAML還包含對XML Schema數據類型的支持，所有的數據類型被看做是特殊的類，每一數據類型都有唯一的由其資源文檔的URL和名字構成的唯一標識。這有利於將對象實例(用本體語言定義)和數據類型實例(用XMLSchema類型系統定義)清楚地區分開來。DAML用daml：UniqueProperty和daml：unambiguousProperty分別說明屬性每個實例只有一個值和一個值只屬於一個實例，用daml：equivalentTo說明兩個資源相同，從而提供了重命名功能及說明兩個實例相同的能力。
(3)DAML的屬性約束(Property Restriction)。DAML屬性約束由daml：Restriction類指示，該類的屬性daml：onProperty說明被限定的槽和有關限定的信息，daml：toClass表明槽的所有值必須是特定類表示的成員，daml：hasClass表明槽的至少一個值必須是特定類成員，daml：hasValue屬性說明槽的一個值必須是特定值。和OIL一樣，DAML也包括勢限定daml：minCardinality和daml：maxCardinality。此外，DAML還提供了定義屬性的原語，除了RDF本身所有的原語外，DAML還增加了daml：inverseOf屬性和daml：TransitiveProperty類。
另外，DAML還允許本體重用，用daml：imports類將另一個本體定義引入到當前本體中。
DAML的開發[2]
DAML語言是在XML中允許語義互用性的DARPA項目，初始目的是支持開發語義Web。該基金項目研究語言、工具、基礎架構和應用，以便使得Web內容更易訪問且更易理解。DAML語言將變成把網頁上的信息與機器易讀的語義相結合的語義語言，該語言允許領域自身擴展簡單的本體，還允許bottom-up的設計方式，同時允許更高級概念共用，並將與當前XML語言中的語法互用性在同一級別上允許語義互用性。此外，該語言將為服務、過程和商業模型的顯示表示提供機制，並且還允許識別隱式的信息(程式或感測器中的封裝)。
目前在兩個方面對DAML語言進行開發：一是捕獲定義語言的本體語言，術語包括類與子類及其屬性和約束，以及單個對象描述；二是表達與編碼推理和通用的邏輯暗示相關的問題，稱為DAML-Logic。
在智能體標記語言方面，美國和歐盟的IST聯合成立了一個特殊的研究委員會，並且發佈了DAML語言的新版本，稱為DAML+OIL語言，因此該語言與OIL語言共用同樣的目標。DAML+OIL語言建立於RDF(S)之上，它的名字也間接地暗示出其與OIL語言有著密切的關係，並取代了基於OIL語言最初稱為DAML+ONT語言的規範。OILed、OntoEdit、
2000和WebODE都是用來編輯DAML+OIL本體的工具。現在W3C組織已把DAML+OIL語言提議成本體和元數據表示的標準。
