DLML | Operators | Logics | Transformations | Transformation flow

For faster navigation, this Iframe is preloading the Wikiwand page for Markup language. From Wikipedia, the free encyclopedia. Complete HTML Tutorial on what it is, how to write HTML web pages and other web. SSML is a markup language that provides a standard way to mark up text for the generation of synthetic speech. The Alexa Skills Kit supports a subset of the tags defined in the SSML specification. The specific tags supported are listed in Supported SSML Tags. Convert PDF to MD documents online from any device, with a modern browser like Chrome, Opera. PDF TO HTM Converter (Hypertext Markup Language File).

DLML is not a language but rather a system of DTDs that allows toencode many (if not all) description logics in the same framework.So far, it is restricted to TBox encoding.

What is DLML?

Motivation

One important motivation to build DTDs for description languages is to be able to embed formal knowledge (in DL) in documents (see the pagesof the ESCRIREaction for more information).

Other motivations include the experiment of simple representation languagetransformations for which description logicsare well-suited.

Introductory example

The goal of DLML is to encode description logics expressions into XML.For instance, the sentence 'All CSmaster students are bachelorstudents whose advisor is computer scientist' is phrased indescription logics by the expression:

CSMasterStudents < (and Bachelor Student (all advisor ComputerScientist))In this example, CSMasterStudent, Bachelor and Student are calledconcepts and advisor is called a role. The sentence above is a concept introduction for the concept CSMasterStudents. It is primitive because introduced by the < symbol. This means that if all the CSmasterstudents are bachelor students whose advisor is computer scientist,the reverse is not supposed to hold. The symbols and and all arecalled (concept) constructors and used for building complex conceptdescriptions.

Md Markup Languages

This expression will be straigthforwardly encoded in XML by justmarking all the elements described above:

<TERMINOLOGY><CPRIM> <CATOM>CSMasterStudent</CATOM> <AND> <CATOM>Bachelor</CATOM> <CATOM>Student</CATOM> <ALL> <RATOM>advisor</RATOM> <CATOM>ComputerScientist</CATOM> </ALL> </AND></CPRIM></TERMINOLOGY>This form of the terminology can be embedded into any kind of XMLdocument while preserving its structure. Moreover, it will be possible to manipulate it as is shown below.

Organisation

The DLML takes advantage of the modularity of description logics in which each operator and introducer can be described independently and a logic assemble these operators. The resources available here are thus: