1 / 9

Description Logic: Class-Forming Operations

Description Logic: Class-Forming Operations. Description Logic. DL. s = rdfs:subClassOf. e-Business Example in Description Logic: Classification - Before -. Organisation. s. DL. s. Business. ForProfit. operation. Cybershop. Electronic. ForProfit. transaction. operation.

stevenb
Télécharger la présentation

Description Logic: Class-Forming Operations

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Description Logic:Class-Forming Operations Description Logic DL CS6795 Semantic Web Techniques

  2. s = rdfs:subClassOf e-Business Example in Description Logic: Classification - Before - Organisation s DL s Business ForProfit operation Cybershop Electronic ForProfit transaction operation CS6795 Semantic Web Techniques

  3. s = rdfs:subClassOf e-Business Example in Description Logic: Classification - After - Organisation s DL Business ForProfit operation s Cybershop Electronic transaction CS6795 Semantic Web Techniques

  4. Class Intersection:Example s = rdfs:subClassOf TallThing DL s Man s TallMan := TallThing Π Man Intensional conjunction of classes: TallThingΠMan(x)  TallThing(x)  Man(x) Intensional disjunction of classes similar but computationally more complex CS6795 Semantic Web Techniques

  5. Class Intersection and Definition: Example s = rdfs:subClassOf := = daml:Class TallThing DL s Man := s TallMan TallMan := TallThing Π Man CS6795 Semantic Web Techniques

  6. Car ¬Person Class Complement:Example c = daml:complementOf DL Person c CS6795 Semantic Web Techniques

  7. Car ¬Person Class Complement and Subsetting:Example s = rdfs:subClassOf c = daml:complementOf DL Person s c Car CS6795 Semantic Web Techniques

  8. Qualified Role:Example t = rdf:type DL Over17  age t RipeThing := age.Over17 Existential role: age.Over17(x)  y age(x,y)  Over17(y) Universal role similar CS6795 Semantic Web Techniques

  9. Qualified Role and Definition :Example t = rdf:type := = daml:Class DL Over17 := RipeThing  age t RipeThing := age.Over17 CS6795 Semantic Web Techniques

More Related