DAML OIL

1
DAMLOIL

• Darpa Agent Markup Language
• Ontology Inference Layer
• Working Group du W3C
• Working Draft Décembre 2001
• http//www.w3.org/TR/damloil-reference
• Logique de description avec syntaxe RDF(S)

2
Logique de description

• Modèle objet pour la classification de concepts
  et linstanciation dobjet
• concept ensemble dindividus
• rôle relation binaire entre individus
• concept et rôle niveau terminologique (Tbox)
• individus assertion (Abox)

3
Logique de description (2)

• Relation de subsomption organiser les concepts
  par niveau de généralité
• un concept A subsume B si lensemble des
  individus représentés par B est inclus dans
  lensemble des individus de A A est plus
  général que B
• classification déterminer la position d un
  concept dans une hiérarchie de subsomption

4
Logique de description (3)

• Concepts primitifs vs définis
• Les concepts sont définis par des expressions
  mettant en jeu des concepts et des rôles
• condition nécessaire et suffisante
• Il suffit dêtre compatible avec la définition
  pour appartenir au concept celui qui joue avec
  les Rolling Stones est un Rolling Stone

5
Exemple

• Personne ? Top
• Ensemble ? Top
• Homme ? Personne
• Femme ? (and Personne (not Homme))
• membre ? role
• chef ? membre

6
Exemple (2)

• Equipe (and Ensemble
• (all membre Personne)
• (atleast 2 membre))
• petiteEquipe (and Equipe
• (atmost 5 membre))

7
Exemple (3)

• D
• (and Personne
• (some enfant)
• (all (restrict enfant Pauvre) Musicien)))
• Concept de personne qui a des enfants, dont les
  enfants pauvres sont musiciens

8
DAML OIL

• Logique de description
• syntaxe XML extension de RDF
• utilise les types de XML Schema

9
Classes

• ltdamlClass rdfID"Male"gt
• ltrdfssubClassOf rdfresource"Animal"/gt
• lt/damlClassgt
• ltdamlClass rdfID"Female"gt
• ltrdfssubClassOf rdfresource"Animal"/gt
• ltdamldisjointWith rdfresource"Male"/gt
• lt/damlClassgt
• ltdamlClass rdfID"Woman"gt
• ltrdfssubClassOf rdfresource"Person"/gt
• ltrdfssubClassOf rdfresource"Female"/gt
• lt/damlClassgt

10
Propriété de range objet

• ltdamlObjectProperty rdfID"hasParent"gt
• ltrdfsdomain rdfresource"Animal"/gt
  ltrdfsrange rdfresource"Animal"/gt
• lt/damlObjectPropertygt
• ltdamlObjectProperty rdfID"hasFather"gt
• ltrdfssubPropertyOf rdfresource"hasPar
  ent"/gt
• ltrdfsrange rdfresource"Male"/gt
• lt/damlObjectPropertygt

11
Propriété de range littéral

• ltdamlDatatypeProperty rdfID"age"gt
• ltrdftype rdfresource"damlUniqueProperty"/gt
• ltrdfsrange rdfresource
• "xmlschemanonNegativeInteger"/gt
• lt/damlDatatypePropertygt

12
Sous-classe

• ltdamlClass rdfID"Person"gt
• ltrdfssubClassOf rdfresource"Animal"/gt
• ltrdfssubClassOfgt
• ltdamlRestrictiongt
• ltdamlonProperty rdfresource"hasPa
  rent"/gt
• ltdamltoClass rdfresource"Person"/gt
• lt/damlRestrictiongt
• lt/rdfssubClassOfgt
• Person (and Animal (all (restrict hasParent
  Person))

13
Sous-classe (2)

• ltrdfssubClassOfgt ltdamlRestriction
  damlcardinality"1"gt ltdamlonProperty
  rdfresource"hasFather"/gtlt/damlRestrictiongt
• lt/rdfssubClassOfgt
• ltrdfssubClassOfgt ltdamlRestrictiongt
  ltdamlonProperty rdfresource"shoesize"/gt
  ltdamlminCardinalitygt1lt/damlminCardinalitygt
  lt/damlRestrictiongt
• lt/rdfssubClassOfgt
• (atmost 1 father) (atleast 1 shoesize))

14
Sous-classe (3)

• ltdamlClass rdfabout"Person"gt
• ltrdfssubClassOfgt
• ltdamlRestriction damlmaxCardinalityQ"1"gt
• ltdamlonProperty rdfresource"hasOcc
  upation"/gt
• ltdamlhasClassQ rdfresource"FullTim
  eOccupation"/gt
• lt/damlRestrictiongt
• lt/rdfssubClassOfgt
• lt/damlClassgt

15
Propriété

• ltdamlUniqueProperty rdfID"hasMother"gt
• ltrdfssubPropertyOf rdfresource"hasParent
  "/gt
• ltrdfsrange rdfresource"Female"/gt
• lt/damlUniquePropertygt
• Cardinality1

16
Transitivité, Inverse

• ltdamlObjectProperty rdfID"hasChild"gt
• ltdamlinverseOf rdfresource"hasParent"/gt
• lt/damlObjectPropertygt
• ltdamlTransitiveProperty rdfID"hasAncestor"/gt
• ltdamlTransitiveProperty rdfID"descendant"/gt

17
Classes complémentaires

• ltdamlClass rdfID"Car"gt
• ltrdfssubClassOfgt
• ltdamlClassgt
• ltdamlcomplementOf
  rdfresource"Person"/gt
• lt/damlClassgt
• lt/rdfssubClassOfgt
• lt/damlClassgt

18
Classes disjointes

• ltdamlClass rdfabout"Person"gt
• ltdamldisjointUnionOf rdfparseType"damlcol
  lection"gt
• ltdamlClass rdfabout"Man"/gt
• ltdamlClass rdfabout"Woman"/gt
• lt/damldisjointUnionOfgt
• lt/damlClassgt

19
Classes équivalentes

• ltdamlClass rdfID"HumanBeing"gt
• ltdamlsameClassAs rdfresource"Person"/gt
• lt/damlClassgt
• et aussi samePropertyAs sameIndividualAs

20
Intersection de classes

• ltdamlClass rdfID"TallMan"gt
• ltdamlintersectionOf rdfparseType"damlcolle
  ction"gt
• ltdamlClass rdfabout"TallThing"/gt
• ltdamlClass rdfabout"Man"/gt
• lt/damlintersectionOfgt
• lt/damlClassgt
• Man est lintersection de Man et TallThing le
  plus grand sous-type commun

21
Classes définie par énumeration des individus

• ltdamlClass rdfID"Height"gt
• ltdamloneOf rdfparseType"damlcollection"gt
• ltHeight rdfID"short"/gt
• ltHeight rdfID"medium"/gt
• ltHeight rdfID"tall"/gt
• lt/damloneOfgt
• lt/damlClassgt

22
Classes définie par la valeur dune propriété

• ltdamlClass rdfID"TallThing"gt
  ltdamlsameClassAsgt ltdamlRestrictiongt
  ltdamlonProperty rdfresource"hasHeight
  "/gt ltdamlhasValue rdfresource"tall"/gt
  lt/damlRestrictiongt lt/damlsameClassAsgt
• lt/damlClassgt

23
Instances

• ltcontinent rdfID"Asia"/gt
• ltrdfDescription rdfID"Asia"gt
• ltrdftypegt
• ltrdfsClass rdfabout"continent"/gt
• lt/rdftypegt
• lt/rdfDescriptiongt
• ltrdfDescription rdfID"India"gt
• ltis_part_of rdfresource"Asia"/gt
• lt/rdfDescriptiongt