1. Md Markup Language
2. Markup Language Definition

HyperText Markup Language (HTML) este un limbaj de marcare utilizat pentru. Unicode Locale Data Markup Language (LDML). Peter Edberg and other CLDR committee members.

DLML | Operators | Logics | Transformations | Transformation flow

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.

A redesign of HTML that took advantage of other technologies to simplify the markup language.

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.

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:

Md Markup Languagehttp://co4.inrialpes.fr/xml/dlml/

Markup Language Definition

Jerome . Euzenat À inrialpes . fr$Id: index.html,v 1.1 2003/08/21 20:35:31 euzenat Exp $