ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of...
-
Upload
marisa-seeds -
Category
Documents
-
view
214 -
download
0
Transcript of ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of...
![Page 1: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/1.jpg)
ELW2009, Jenova
SWCLOS:A Semantic Web Processor on CLOS
Seiji KoideNational Institute of
Informatics
![Page 2: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/2.jpg)
ELW2009, Jenova
SWCLOS Web Site
http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htmFor installing free Allegro Common Lisp Expres
s, visit http://www.franz.com/downloads/For making mlisp image from Express version,
visit http://www.franz.com/support/faq/index.lhtml#s3q13
![Page 3: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/3.jpg)
ELW2009, Jenova
Objectives of This Tutorial
For CLOS HackerProvide an example of CLOS applicationEnlighten CLOS Semantics in Semantic
Web For Lisper
Provide a tool for Semantic Web Processing
![Page 4: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/4.jpg)
ELW2009, Jenova
What is SWCLOS? Semantic Web Processor on top of CLOS Processing Ontology in RDFS and OWL Input Ontology in S-expression, RDF/XML,
Triples Output Ontology in S-expression , RDF/XML,
Triples An Amalgam of CLOS and RDFS/OWL Pros
A tool for CLOS programmers for Semantic Web programming
Cons Unavailable for C# and Java Programmers
![Page 5: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/5.jpg)
ELW2009, Jenova
Agenda Gentle Introduction of Semantic Web
RDF Graph• Introductory Example
RDF and RDFS Vocabulary and Semantics• rdf:type, rdfs:subClassOf• rdfs:domain, rdfs:range• rdfs:subPropertyOf
OWL Vocabulary and Semantics• Slot value restriction• Compound concepts
Advanced Talk Semantics of RDF Semantics of OWL
Reflection
![Page 6: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/6.jpg)
ELW2009, Jenova
Semantic Web Layer-cakeSemantic Web Layer-cake
![Page 7: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/7.jpg)
ELW2009, Jenova UNICODE Globally defined multi-language character sets Globally identify resources
Semantic Web Layer-cakeSemantic Web Layer-cake
![Page 8: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/8.jpg)
ELW2009, Jenova
UNICODE at UNICODE at Allegro Allegro Common Common LispLisphttp://www.franz.com/support/documentation/http://www.franz.com/support/documentation/7.0/doc/iacl.htm7.0/doc/iacl.htm
Internally, all Lisp strings are represented as arrays of Unicode character codes. Each array element is exactly 16-bits wide, even if the string contains only 7-bit ASCII characters. This widening of strings causes a memory usage increase. However, since almost all initial Allegro CL strings are stored in memory-mapped files, the initial runtime memory usage difference between International Allegro CL and non-international Allegro CL is less than 5%.
![Page 9: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/9.jpg)
ELW2009, Jenova
URI Library at Allegro Common URI Library at Allegro Common LispLisphttp://www.franz.com/support/documentation/7.0/dohttp://www.franz.com/support/documentation/7.0/doc/uri.htmc/uri.htm
URI stands for Universal Resource Identifier. For a description of URIs, see RFC2396, which can be found in several places, including the IETF web site (http://www.ietf.org/rfc/rfc2396.txt) and the UCI/ICS web site (http://www.ics.uci.edu/pub/ietf/uri/rfc2396.txt). We prefer the UCI/ICS one as it has more examples.
URIs are a superset in functionality and syntax to URLs (Universal Resource Locators) and URNs (Universal Resource Names). That is, RFC2396 updates and merges RFC1738 and RFC1808 into a single syntax, called the URI. It does exclude some portions of RFC1738 that define specific syntax of individual URL schemes.
![Page 10: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/10.jpg)
ELW2009, Jenova
Semantic Web Layer-cakeSemantic Web Layer-cake
Machine readable markup language
Independent vocabulary in different NAMESPACE
XML Schema Common Datatype
![Page 11: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/11.jpg)
ELW2009, Jenova
Semantic Web Layer-cakeSemantic Web Layer-cake
Resource Description Framework
![Page 12: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/12.jpg)
ELW2009, Jenova
Semantic Web Layer-cakeSemantic Web Layer-cake
Minimal set for ontology description
![Page 13: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/13.jpg)
ELW2009, Jenova
Resource Description Framework RDF Primer
http://www.w3.org/TR/rdf-primer/ Concepts and Abstract Syntax
http://www.w3.org/TR/rdf-concepts/ RDF/XML Syntax Specification
http://www.w3.org/TR/rdf-syntax-grammar/ RDF Semantics
http://www.w3.org/TR/rdf-mt/ RDF Vocabulary Description Language
http://www.w3.org/TR/rdf-schema/ RDF Test Cases
http://www.w3.org/TR/rdf-testcases/
![Page 14: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/14.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
Theoretical model in RDF is a labeled directed graph.Theoretical model in RDF is a labeled directed graph.
![Page 15: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/15.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
![Page 16: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/16.jpg)
ELW2009, Jenova
Introductory Example (Pure CLOS) Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
superclass superclasssuperclass
superclasssuperclass class-of
class-ofclass-of
![Page 17: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/17.jpg)
ELW2009, Jenova
Introductory Example (Pure CLOS) Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
(defpackage rdf (:documentation "http://www.w3.org/1999/02/22-rdf-syntax-ns"))(defpackage rdfs (:documentation "http://www.w3.org/2000/01/rdf-schema"))(defpackage eg (:documentation "http://somewhere-for-eg/eg"))(defpackage dc (:documentation "http://dublincore.org/2002/08/13/dces"))
(defclass rdfs::Resource ( ) ((rdf::about :initarg :about)))(defclass eg::Work (rdfs::Resource) ( ))(defclass eg::Agent (rdfs::Resource) ( ))(defclass eg::Person (eg::Agent) ((eg::name :initarg :name)))(defclass eg::Document (eg::Work) ((eg::author :initarg :author :type eg::Person) (dc::title :initarg :title)))
![Page 18: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/18.jpg)
ELW2009, Jenova
Introductory Example (Pure CLOS) Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
(defclass rdfs::Resource ( ) ((rdf::about :initarg :about)))(defclass eg::Work (rdfs::Resource) ( ))(defclass eg::Agent (rdfs::Resource) ( ))(defclass eg::Person (eg::Agent) ((eg::name :initarg :name)))(defclass eg::Document (eg::Work) ((eg::author :initarg :author :type eg::Person) (dc::title :initarg :title)))
(setq eg::Proposal (make-instance 'eg::Document :author (make-instance 'eg::Person :name "Tim Berners-Lee") :title "Information Management: A Proposal" :about "http:/…/Proposal/"))(describe eg::Proposal)
Lisp Native Function
Bind to the Name Symbol
![Page 19: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/19.jpg)
ELW2009, Jenova
Case Sensitive Lisp or Modern Lisp
ACL8.1 or 8.0 in WindowsStart Program Allegro CL Modern ACL Images Allegro CL (w IDE, Modern)DO NOT SELECT ANSI image IN WINDOW
SWCLOS requires Case Sensitive Mode of ACL.
![Page 20: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/20.jpg)
ELW2009, Jenova
SWCLOS Web Site
http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htmFor installing free Allegro Common Lisp Expres
s, visit http://www.franz.com/downloads/For making mlisp image from Express version,
visit http://www.franz.com/support/faq/index.lhtml#s3q13
![Page 21: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/21.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
<http://somewhere-for-eg/eg#Work> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/01/rdf-schema#Resource> .<http://somewhere-for-eg/eg#Work> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/01/rdf-schema#Resource> .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Work rdfs:subClassOf rdfs:Resource .
![Page 22: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/22.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Work rdfs:subClassOf rdfs:Resource .
![Page 23: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/23.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .
![Page 24: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/24.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .
![Page 25: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/25.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .
![Page 26: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/26.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .
![Page 27: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/27.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 .
![Page 28: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/28.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person .
![Page 29: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/29.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person ._:a01 eg:name "Tim Berners-Lee" .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person ._:a01 eg:name "Tim Berners-Lee" .
![Page 30: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/30.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person ._:a01 eg:name "Tim Berners-Lee" .http:/.../Proposal/ dc:title "Information Management: A Proposal" .
eg:Work rdfs:subClassOf rdfs:Resource .eg:Agent rdfs:subClassOf rdfs:Resource .eg:author rdf:type rdf:Property .eg:author rdfs:domain eg:Document .eg:author rdfs:range eg:Person .http:/.../Proposal/ eg:author _:a01 ._:a01 rdf:type eg:Person ._:a01 eg:name "Tim Berners-Lee" .http:/.../Proposal/ dc:title "Information Management: A Proposal" .
![Page 31: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/31.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
![Page 32: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/32.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
![Page 33: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/33.jpg)
ELW2009, Jenova
Introductory Example (SWCLOS)Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
(in-package gx-user)rdfs:Resource #<rdfs:Class rdfs:Resource>(defpackage eg (:documentation "http://somewhere-for-eg/eg"))(defpackage dc (:documentation "http://dublincore.org/2002/08/13/dces"))
(defResource eg::Work (rdfs:subClassOf rdfs:Resource))(defResource eg::Agent (rdfs:subClassOf rdfs:Resource))(defResource eg::Person (rdfs:subClassOf eg:Agent))(defResource eg::Document (rdfs:subClassOf eg:Work))
(defProperty eg::author (rdfs:domain eg:Document) (rdfs:range eg:Person))
Already defined in SWCLOS
Double colons needed only at first
Single colon accepted secondly and after
![Page 34: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/34.jpg)
ELW2009, Jenova
Introductory Example (SWCLOS)Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
(defProperty eg::name (rdfs:domain eg:Person) (rdfs:range rdfs:Literal))(defProperty dc::title (rdfs:domain eg:Document) (rdfs:range rdfs:Literal))
(defIndividual eg::Proposal (rdf:type eg::Document) (eg:author (eg:Person (eg:name "Tim Berners-Lee"))) (dc:title "Information Management: A Proposal") (rdf:about "http:/…/Proposal/"))
rdfs:domain directs a class where the slot definiti
on is attached. rdfs:range denotes a class of slot value.
A bnode is automatically created on demand.
![Page 35: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/35.jpg)
ELW2009, Jenova
Introductory Example Obsolete RDFS Documenthttp://www.w3.org/TR/2002/WD-rdf-schema-20021112/
eg:Person eg:author eg:Proposal
(describe eg:Proposal) (get-form eg:Proposal)
(write-xml eg:Proposal)
(-> eg:Proposal dc:title) (-> eg:Proposal eg:author eg:name) (-> eg:Proposal eg:author rdf:type)
The RDF/XML form of eg:Proposal is printed.
Start from 1st parameter and travel the graph along with the path
![Page 36: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/36.jpg)
ELW2009, Jenova
RDF Vocabulary Description Language 1.0: RDF SchemaW3C Recommendation 10 February 2004 RDF Classes
Class name comment
rdfs:Resource The class resource, everything.
rdfs:Literal The class of literal values, e.g. textual strings and integers.
rdf:XMLLiteral The class of XML literals values.
rdfs:Class The class of classes.
rdf:Property The class of RDF properties.
rdfs:Datatype The class of RDF datatypes.
rdf:Statement The class of RDF statements.
rdf:Bag The class of unordered containers.
rdf:Seq The class of ordered containers.
rdf:Alt The class of containers of alternatives.
rdfs:Container The class of RDF containers.
rdfs:ContainerMembershipProperty
The class of container membership properties, rdf:_1, rdf:_2, ..., all of which are sub-properties of 'member'.
rdf:List The class of RDF Lists.
![Page 37: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/37.jpg)
ELW2009, Jenova
RDF Vocabulary Description Language 1.0: RDF SchemaW3C Recommendation 10 February 2004 RDF Properties
Property name comment domain range
rdf:type The subject is an instance of a class. rdfs:Resource rdfs:Class
rdfs:subClassOf The subject is a subclass of a class. rdfs:Class rdfs:Class
rdfs:subPropertyOf The subject is a subproperty of a property. rdf:Property rdf:Property
rdfs:domain A domain of the subject property. rdf:Property rdfs:Class
rdfs:range A range of the subject property. rdf:Property rdfs:Class
rdfs:label A human-readable name for the subject. rdfs:Resource rdfs:Literal
rdfs:comment A description of the subject resource. rdfs:Resource rdfs:Literal
rdfs:member A member of the subject resource. rdfs:Resource rdfs:Resource
rdf:first The first item in the subject RDF list. rdf:List rdfs:Resource
rdf:rest The rest of the subject RDF list after the first item. rdf:List rdf:List
rdfs:seeAlso Further information about the subject resource. rdfs:Resource rdfs:Resource
rdfs:isDefinedBy The definition of the subject resource. rdfs:Resource rdfs:Resource
rdf:valueIdiomatic property used for structured values (see the RDF Primer for an example of its usage).
rdfs:Resource rdfs:Resource
rdf:subject The subject of the subject RDF statement. rdf:Statement rdfs:Resource
rdf:predicate The predicate of the subject RDF statement. rdf:Statement rdfs:Resource
rdf:object The object of the subject RDF statement. rdf:Statement rdfs:Resource
![Page 38: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/38.jpg)
ELW2009, Jenova
Entailment Ruleshttp://www.w3.org/TR/rdf-mt/
Rule Name If E contains: then add:
rdfs1uuu aaa lll.where lll is a plain literal (with or without a language tag).
_:nnn rdf:type rdfs:Literal .where _:nnn identifies a blank node allocated to lll by rule rule lg.
rdfs2aaa rdfs:domain xxx .uuu aaa yyy .
uuu rdf:type xxx .
rdfs3aaa rdfs:range xxx .uuu aaa vvv .
vvv rdf:type xxx .
rdfs4a uuu aaa xxx . uuu rdf:type rdfs:Resource .
rdfs4b uuu aaa vvv. vvv rdf:type rdfs:Resource .
rdfs5uuu rdfs:subPropertyOf vvv .vvv rdfs:subPropertyOf xxx .
uuu rdfs:subPropertyOf xxx .
rdfs6 uuu rdf:type rdf:Property . uuu rdfs:subPropertyOf uuu .
rdfs7aaa rdfs:subPropertyOf bbb .uuu aaa yyy .
uuu bbb yyy .
rdfs8 uuu rdf:type rdfs:Class . uuu rdfs:subClassOf rdfs:Resource .
![Page 39: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/39.jpg)
ELW2009, Jenova
Entailment Ruleshttp://www.w3.org/TR/rdf-mt/
Rule Name If E contains: then add:
rdfs9uuu rdfs:subClassOf xxx .vvv rdf:type uuu .
vvv rdf:type xxx .
rdfs10 uuu rdf:type rdfs:Class . uuu rdfs:subClassOf uuu .
rdfs11uuu rdfs:subClassOf vvv .vvv rdfs:subClassOf xxx .
uuu rdfs:subClassOf xxx .
rdfs12uuu rdf:type rdfs:ContainerMembershipProperty .
uuu rdfs:subPropertyOf rdfs:member .
rdfs13 uuu rdf:type rdfs:Datatype . uuu rdfs:subClassOf rdfs:Literal .
Subsumption Rule
Transitivity Rule
(defclass xxx ( ) ( ) )(setq vvv (make-instance (defclass uuu (xxx) ( ))))(typep vvv xxx) true(defclass xxx ( ) ( ))(defclass vvv (xxx) ( )) (defclass uuu (vvv) ( ))(subtypep 'uuu 'xxx) true
![Page 40: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/40.jpg)
ELW2009, Jenova
Subsumption rule in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
hasMaker
rdf:Property
rdfs:Resource
PotableLiquidWine Zinfandel
ElyseZinfandel
Elyse
Winery
Red
WineColorWineDescriptor
hasMaker
hasColor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
rdfs:domain
rdfs:range
rdfs:domain rdfs:range
hasWineDescriptorrdfs:domain rdfs:range
![Page 41: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/41.jpg)
ELW2009, Jenova
Subsumption rule in Wine Ontology (RDFS)
rdfs:domain rdfs:range
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine Zinfandel
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
(defTriple vin:Wine rdfs:subClassOf food:PotableLiquid) (defTriple vin:Zinfandel rdfs:subClassOf vin:Wine) Rdfs rule 11(subtypep vin:Zinfandel food:PotableLiquid) t Rdfs rule 11(subtypep vin:Zinfandel food:PotableLiquid) t
ZinfandelWinePotableLiquid
Transition rule of rdfs:subClassOf
![Page 42: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/42.jpg)
ELW2009, Jenova
Subsumption rule in Wine Ontology (RDFS)
rdfs:domain rdfs:range
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine Zinfandel
ElyseZinfandel
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
(defTriple vin:Wine rdfs:subClassOf food:PotableLiquid) (defTriple vin:Zinfandel rdfs:subClassOf vin:Wine) (defTriple vin:ElyseZinfandel rdf:type vin:Zinfandel)
Rdfs rule 9(typep vin:ElyseZinfandel food:PotableLiquid) t Rdfs rule 9(typep vin:ElyseZinfandel food:PotableLiquid) t
ZinfandelWinePotableLiquid
ElyseZinfandel
Subsumption rule
![Page 43: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/43.jpg)
ELW2009, Jenova
Summary of Introduction Case sensitive lisp A QName is represented as an exported lisp symbol. Namespace is realized by using lisp package. A resource of RDF is created as a CLOS object, and boun
d to the QName. rdf:type to class-of (type-of) mapping rdfs:subClassOf to superclass mapping Define Macro defResource, defIndividual, and defPrope
rty
![Page 44: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/44.jpg)
ELW2009, Jenova
Entailment Ruleshttp://www.w3.org/TR/rdf-mt/
Rule Name If E contains: then add:
rdfs1uuu aaa lll.where lll is a plain literal (with or without a language tag).
_:nnn rdf:type rdfs:Literal .where _:nnn identifies a blank node allocated to lll by rule rule lg.
rdfs2aaa rdfs:domain xxx .uuu aaa yyy .
uuu rdf:type xxx .
rdfs3aaa rdfs:range xxx .uuu aaa vvv .
vvv rdf:type xxx .
rdfs4a uuu aaa xxx . uuu rdf:type rdfs:Resource .
rdfs4b uuu aaa vvv. vvv rdf:type rdfs:Resource .
rdfs5uuu rdfs:subPropertyOf vvv .vvv rdfs:subPropertyOf xxx .
uuu rdfs:subPropertyOf xxx .
rdfs6 uuu rdf:type rdf:Property . uuu rdfs:subPropertyOf uuu .
rdfs7aaa rdfs:subPropertyOf bbb .uuu aaa yyy .
uuu bbb yyy .
rdfs8 uuu rdf:type rdfs:Class . uuu rdfs:subClassOf rdfs:Resource .
Domain Entailment
Range Entailment
![Page 45: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/45.jpg)
ELW2009, Jenova
Entailment Ruleshttp://www.w3.org/TR/rdf-mt/
Rule Name If E contains: then add:
rdfs1uuu aaa lll.where lll is a plain literal (with or without a language tag).
_:nnn rdf:type rdfs:Literal .where _:nnn identifies a blank node allocated to lll by rule rule lg.
rdfs2aaa rdfs:domain xxx .uuu aaa yyy .
uuu rdf:type xxx .
rdfs3aaa rdfs:range xxx .uuu aaa vvv .
vvv rdf:type xxx .
rdfs4a uuu aaa xxx . uuu rdf:type rdfs:Resource .
rdfs4b uuu aaa vvv. vvv rdf:type rdfs:Resource .
rdfs5uuu rdfs:subPropertyOf vvv .vvv rdfs:subPropertyOf xxx .
uuu rdfs:subPropertyOf xxx .
rdfs6 uuu rdf:type rdf:Property . uuu rdfs:subPropertyOf uuu .
rdfs7aaa rdfs:subPropertyOf bbb .uuu aaa yyy .
uuu bbb yyy .
rdfs8 uuu rdf:type rdfs:Class . uuu rdfs:subClassOf rdfs:Resource .
![Page 46: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/46.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
hasMaker
rdf:Property
rdfs:Resource
PotableLiquidWine Zinfandel
ElyseZinfandel
Elyse
Winery
Red
WineColorWineDescriptor
rdfs:domain : classes that are reachable from a subject node with an path of rdf:typerdfs:subClassOfrdfs:range : classes that are reachable from a object node with an path of rdf:typerdfs:subClassOf
hasMaker
hasColor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
rdfs:domain
rdfs:range
rdfs:domain rdfs:range
hasWineDescriptorrdfs:rangerdfs:domain
![Page 47: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/47.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
(defTriple vin:hasColor rdfs:domain vin:Wine)
rdfs:domain
Ext rule 1(domainp vin:hasColor food:PotableLiquid) t Ext rule 1(domainp vin:hasColor food:PotableLiquid) t
hasColor
WinePotableLiquid
Extension rule of rdfs:domain
![Page 48: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/48.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine
WineColor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
rdfs:domain rdfs:range
(defTriple vin:hasColor rdfs:range vin:WineColor)
Extension rule of rdfs:range
(defTriple vin:WineColor rdfs:subClassOf vin:WineDescriptor)
![Page 49: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/49.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine
WineColorWineDescriptor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
rdfs:domain rdfs:range
(defTriple vin:hasColor rdfs:range vin:WineColor)(defTriple vin:WineColor rdfs:subClassOf vin:WineDescriptor)
hasColor
WineColorWineDescriptor
Extension rule of rdfs:range
Ext rule 2(rangep vin:hasColor vin:WineDescriptor) t Ext rule 2(rangep vin:hasColor vin:WineDescriptor) t
![Page 50: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/50.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine
WineDescriptor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
hasWineDescriptorrdfs:rangerdfs:domain
(defTriple vin:hasWineDescriptor rdfs:domain vin:Wine)(defTriple vin:hasWineDescriptor rdfs:range vin:WineDescriptor)(defTriple vin:hasColor rdfs:subPropertyOf vin:hasWineDescriptor)
Ext rule 3(domainp vin:hasColor food:PotableLiquid) t Ext rule 3(domainp vin:hasColor food:PotableLiquid) t
hasColorhasWineDescriptor
WinePotableLiquid
Inheritance by rdfs:subPropertyOf
![Page 51: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/51.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine
WineDescriptor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
hasWineDescriptorrdfs:rangerdfs:domain
(defTriple vin:hasWineDescriptor rdfs:domain vin:Wine)(defTriple vin:hasWineDescriptor rdfs:range vin:WineDescriptor)(defTriple vin:hasColor rdfs:subPropertyOf vin:hasWineDescriptor)
hasColorhasWineDescriptor
WineDescriptor
Inheritance by rdfs:subPropertyOf
Ext rule 4(rangep vin:hasColor vin:WineDescriptor) t Ext rule 4(rangep vin:hasColor vin:WineDescriptor) t
![Page 52: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/52.jpg)
ELW2009, Jenova
(defpackage vin)(defpackage food)(in-package gx-user)
(defResource vin::Wine (rdfs:subClassOf food::PotableLiquid))(defProperty vin::hasWineDescriptor (rdfs:domain vin:Wine))(defProperty vin::hasColor (rdfs:subPropertyOf vin:hasWineDescriptor))
(rdfs:domain vin:hasWineDescriptor) (rdfs:domain vin:hasColor)* (domain-value vin:hasWineDescriptor) (domain-value vin:hasColor) (get-domain vin:hasWineDescriptor) (get-domain vin:hasColor)
(defProperty vin:hasWineDescriptor (rdfs:range vin::WineDescriptor))(get-range vin:hasColor)
Domain & Range in Wine Ontology (RDFS)
rdfs:domain method causes an error for unbound valu
e
get-domain inherits the value from super-
properties
Piecewisely add the rage information later
![Page 53: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/53.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
rdfs:domain rdfs:range
hasColor
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdf:Property
rdfs:Resource
PotableLiquidWine Zinfandel
ElyseZinfandel
Elyse
Winery
Red
WineColorWineDescriptor
hasMaker
hasColor
rdfs:Class
rdfs:domain rdfs:rangerdfs:domain
rdfs:range
rdfs:domain rdfs:range
hasWineDescriptorrdfs:rangerdfs:domain
![Page 54: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/54.jpg)
ELW2009, Jenova
Domain & Range in Wine Ontology (RDFS)
(defProperty vin::hasColor (rdfs:range vin::WineColor))(defResource vin:WineColor (rdfs:subClassOf vin:WineDescriptor))
(defIndividual vin::ElyseZinfandel (rdf:type vin::Zinfandel) (vin:hasColor vin::Red))(type-of vin:ElyseZinfandel) (cl:type-of vin:ElyseZinfandel) (collect-all-supers vin:Zinfandel)(collect-all-subtypes vin:Wine) (type-of vin:Red)
(defIndividual vin::NumericWine (vin:hasColor 123))*
(defProperty vin::hasMaker (rdfs:domain vin:Wine) (rdfs:range vin::Winery))(defIndividual vin:ElyseZinfandel (vin:hasMaker vin::Elyse))(type-of vin:Elyse) (get-form vin:ElyseZinfandel)
SWCLOS checks the range
![Page 55: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/55.jpg)
ELW2009, Jenova
Hierarchical Structure of RDFS
rdf:_1
rdfs:subClassOf rdfs:subPropertyOf rdf:type rdf:predicate
rdfs:domain rdfs:range rdfs:label rdf:object rdfs:comment
rdf:firstrdf:rest
rdfs:subClassOfrdfs:subPropertyOfrdf:type
class
instance
rdfs:seeAlso rdfs:isDefinedBy rdf:value rdf:subject rdfs:memberrdf:_2
rdf:_3
rdf:Property rdfs:ContainerMembershipProperty
rdf:nil
rdfs:Resource
rdf:List
rdf:Statement
rdfs:Container rdf:Alt
rdf:Seq
rdf:Bag
rdfs:Literalrdf:XMLLiteral
rdfs:Class rdfs:Datatype
InstanceInstance
Meta-classMeta-class
ClassClass
![Page 56: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/56.jpg)
ELW2009, Jenova
Summary of RDFS
Meta-classes, classes, and instances rdfs:domain indicates a class where the slot defin
ition is attached. rdfs:range denotes a class of slot value. An instance of rdf:Property has super-sub concept. Domain and range value is inherited. 13 RDFS axioms Piecewise ontology adding Forward reference and proactive entailment
![Page 57: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/57.jpg)
ELW2009, Jenova
Semantic Web Layer-cakeSemantic Web Layer-cake
Web Ontology Language
![Page 58: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/58.jpg)
ELW2009, Jenova
Web Ontology Language OWL Overview
http://www.w3.org/TR/owl-features/ OWL Guide
http://www.w3.org/TR/owl-guide/ OWL Reference
http://www.w3.org/TR/owl-ref/ OWL Semantics and Abstract Syntax
http://www.w3.org/TR/owl-semantics/ OWL Test Cases
http://www.w3.org/TR/owl-test/ OWL Use Cases and Requirements
http://www.w3.org/TR/webont-req/
![Page 59: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/59.jpg)
ELW2009, Jenova
Three sub languages of OWL OWL Lite
supports users primarily needing a classification hierarchy and simple constraints. It should be simpler to provide tool support for OWL Lite than the other sublanguages.
OWL DL supports users who want the maximum expressiveness
while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).
OWL Full is meant for users who want maximum expressiveness
and the syntactic freedom of RDF with no computational guarantees. For example, in OWL Full a class can be treated simultaneously as a collection of individuals and as an individual in its own right.
![Page 60: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/60.jpg)
ELW2009, Jenova
Web Ontology Language - OWL
owl:DeprecatedClass
rdfs:subClassOfrdfs:subPropertyOfrdf:type
Class
Property
Only DL
owl:Class
rdfs:Class
owl:Thing
owl:Restriction
owl:allValuesFrom
owl:someValuesFromowl:maxCardinality
owl:minCardinality
owl:cardinality
owl:intersectionOf
rdfs:subClassOf owl:equivalentClass
rdf:Property
owl:DatatypeProperty
owl:ObjectProperty
rdfs:domain
rdfs:range
rdfs:subPropertyOf owl:equivalentProperty
owl:inverseOf
owl:FunctionalProperty
owl:InverseFunctionalProperty
owl:SymmetricProperty
owl:TransitiveProperty
owl:sameAs
owl:differentFrom
owl:AllDifferent
rdfs:Literal
rdfs:Datatype
rdfs:XMLLiteral
owl:DeprecatedProperty
owl:distinctMembers
owl:Ontology
rdfs:Resource
owl:onProperty
owl:disjointWithowl:unionOf
owl:complementOf
owl:oneOf
Omit Ontology Property and Annotation Property
owl:hasValue
owl:DataRange
owl:Nothing
![Page 61: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/61.jpg)
ELW2009, Jenova
Local Range Restrictions owl:allValuesFrom
the values of the property are all members of the class indicated (if they exist)
owl:someValuesFrom at least one value of the property is an instance of the class
indicated owl:hasValue
a class of all individuals for which the property concerned has at least one value semantically equal to the value (it may have other values as well)
Cardinality owl:maxCardinality to specify an upper bound owl:minCardinality t
o specify a lower bound owl:cardinality to specify an exact number of elements
![Page 62: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/62.jpg)
ELW2009, Jenova
owl:allValuesFrom(defConcept House (rdf:type owl:Class))(defIndividual MyHouse (rdf:type House))(defIndividual MyHomeMadeWine (rdf:type vin:Wine) (vin:hasMaker MyHouse))Warning: owl:allValuesFrom entail of vin:hasMaker: change class of #<House MyHouse> to #<owl:Class vin:Winery>.Warning: #<House MyHouse> is additionally classified to #<owl:Class vin:Winery>.
MyHouse #<House.4 MyHouse>(type-of MyHouse) (House vin:Winery)(get-form vin:Wine) (owl:Class vin:Wine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Wine>) (rdfs:label common-lisp:nil common-lisp:nil) (rdfs:subClassOf food:PotableLiquid (owl:Restriction (owl:onProperty vin:hasMaker) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasMaker) (owl:allValuesFrom vin:Winery)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:minCardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasColor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:locatedIn) (owl:someValuesFrom vin:Region))))
multiple classes
Reboot Lisp!Load SWCLOS OWL andWine Ontology and Food Ontology
![Page 63: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/63.jpg)
ELW2009, Jenova
owl:someValuesFrom(get-form vin:Wine) (owl:Class vin:Wine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Wine>) (rdfs:subClassOf food:PotableLiquid (owl:Restriction (owl:onProperty vin:hasMaker) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasMaker) (owl:allValuesFrom vin:Winery)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:minCardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasColor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:locatedIn) (owl:someValuesFrom vin:Region))))
This statement claims that there must be vin:locatedIn slot in Wine instances,And one of the slot values must be a region.
![Page 64: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/64.jpg)
ELW2009, Jenova
owl:hasValue(get-form vin:Chardonnay) (owl:Class vin:Chardonnay (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:White)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class (owl:oneOf vin:Full vin:Medium)))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class (owl:oneOf vin:Strong vin:Moderate))))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ChardonnayGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
This statement claims the definition of vin:Cardonnay, that is, it is made from Cardonnay Grape .
![Page 65: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/65.jpg)
ELW2009, Jenova
Cardinality(put-value vin:ElyseZinfandel 'vin:hasSugar vin:Sweet)Error: invalid slot value for range: #<vin:WineSugar vin:Sweet> for range #<gx::fills vin:hasSugar.vin:Dry>
(get-form vin:Wine) (owl:Class vin:Wine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Wine>) (rdfs:subClassOf food:PotableLiquid (owl:Restriction (owl:onProperty vin:hasMaker) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasMaker) (owl:allValuesFrom vin:Winery)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:minCardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:hasColor) (owl:cardinality "1"^^xsd:nonNegativeInteger)) (owl:Restriction (owl:onProperty vin:locatedIn) (owl:someValuesFrom vin:Region))))
Already (vin:hasMaker vin:Elyse)
Attempt to set a new value
Not overwrite, just add
monotonically
![Page 66: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/66.jpg)
ELW2009, Jenova
Cardinality(defResource BlendedWine (rdf:type owl:Class) (rdfs:subClassOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:minCardinality 2)) (owl:Restriction (owl:onProperty vin:hasColor) (owl:minCardinality 2))))
(defIndividual MyBlendedWine (rdf:type BlendedWine) (vin:hasColor vin:Red vin:White))
Error: Unsatisfiability by cardinality for BlendedWine vin:hasColor
Slot values must be satisfiable to the constraint.
minCardinality maxCardinalityminCardinality maxCardinality
![Page 67: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/67.jpg)
ELW2009, Jenova
Equality and Difference/Disjointowl:sameAsowl:differentFromowl:AllDifferent - owl:distinctMembersowl:equivalentClassowl:disjointWith
ForIndividuals
For Classes
![Page 68: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/68.jpg)
ELW2009, Jenova
Different Individuals(owl-different-p vin:Dry vin:OffDry) true(owl-different-p vin:OffDry vin:Sweet) true(owl-different-p vin:Sweet vin:Dry) true
(get-form vin:Dry) (vin:WineSugar vin:Dry (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Dry>))
(get-form vin:Sweet) (vin:WineSugar vin:Sweet (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Sweet>) (owl:differentFrom vin:Dry))
(get-form vin:OffDry) (vin:WineSugar vin:OffDry (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#OffDry>) (owl:differentFrom vin:Dry vin:Sweet))
![Page 69: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/69.jpg)
ELW2009, Jenova
Different Individuals(owl-different-p vin:Red vin:White) true(owl-different-p vin:White vin:Rose) true(owl-different-p vin:Rose vin:Red) true(get-form vin:Red) (vin:WineColor vin:Red (rdf:about <http://w(get-form vin:White) (vin:WineColor vin:White (rdf:about <http <owl:AllDifferent> <owl:distinctMembers rdf:parseType="Collection"> <vin:WineColor rdf:about="#Red" /> <vin:WineColor rdf:about="#White" /> <vin:WineColor rdf:about="#Rose" /> </owl:distinctMembers> </owl:AllDifferent>
![Page 70: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/70.jpg)
ELW2009, Jenova
Same Individuals*nonUNA* nil(owl-different-p vin:SonomaRegion vin:NapaRegion) true(let ((*nonUNA* t)) (owl-different-p vin:SonomaRegion vin:NapaRegion)) true(owl-same-p vin:SonomaRegion vin:NapaRegion) nil
(get-form vin:SonomaRegion) (vin:Region vin:SonomaRegion (vin:locatedIn vin:CaliforniaRegion) (vin:adjacentRegion vin:MendocinoRegion))
(get-form vin:NapaRegion) (vin:Region vin:NapaRegion (vin:locatedIn vin:CaliforniaRegion))
(collect-all-extensions-of owl:sameAs) ((#<owl:Thing food:White> #<vin:WineColor vin:White>) (#<owl:Thing food:Rose> #<vin:WineColor vin:Rose>) (#<owl:Thing food:Red> #<vin:WineColor vin:Red>) (#<owl:Thing food:Sweet> #<vin:WineSugar vin:Sweet>) (#<owl:Thing food:OffDry> #<vin:WineSugar vin:OffDry>) (#<owl:Thing food:Dry> #<vin:WineSugar vin:Dry>) (#<owl:Thing food:Delicate> #<vin:WineFlavor vin:Delicate>) (#<owl:Thing food:Moderate> #<vin:WineFlavor vin:Moderate>) (#<owl:Thing food:Strong> #<vin:WineFlavor vin:Strong>) (#<owl:Thing food:Light> #<vin:WineBody vin:Light>) ...)
Graph matching for nonUNA
collect-all-extensions-of collects all pairs on the relation of the
property in memory.
![Page 71: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/71.jpg)
ELW2009, Jenova
(collect-all-extensions-of owl:disjointWith) ((#<owl:Class vin:LateHarvest> #<owl:Class vin:EarlyHarvest>) (#<owl:Class food:PotableLiquid> #<owl:Class food:EdibleThing>) (#<owl:Class food:Meat> #<owl:Class food:Fruit>)...)
(disjoint-p vin:LateHarvest vin:EarlyHarvest) true(get-form vin:LateHarvest) (owl:Class vin:LateHarvest (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#LateHarvest>) (rdfs:subClassOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Sweet)) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:disjointWith vin:EarlyHarvest))
Disjoint Class
LateHarvest EarlyHarvest
Do not share instances
![Page 72: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/72.jpg)
ELW2009, Jenova
Equivalent Class(owl-equivalent-p food:Wine vin:Wine) true(get-form food:Wine) (owl:Class food:Wine (owl:equivalentClass vin:Wine))
(owl-equivalent-p vin:DryWine vin:TableWine) true(get-form vin:DryWine) (owl:Class vin:DryWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#DryWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))(get-form vin:TableWine)(owl:Class vin:TableWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#TableWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
IntersectionOf is descriptive and definitive.
![Page 73: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/73.jpg)
ELW2009, Jenova
owl:oneOf(pprint (get-form vin:EarlyHarvest)) (owl:Class vin:EarlyHarvest (rdfs:subClassOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:allValuesFrom (owl:Class (owl:oneOf vin:Dry vin:OffDry))))))(get-range vin:hasSugar) #<owl:Class vin:WineSugar>(get-form vin:WineSugar) (owl:Class vin:WineSugar (rdfs:subClassOf vin:WineTaste) (owl:oneOf vin:Sweet vin:OffDry vin:Dry))
vin:WineSugar
owl:Class
vin:Dry vin:OffDry
rdf:typerdf:type
owl:oneOf owl:oneOf
rdf:type
![Page 74: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/74.jpg)
ELW2009, Jenova
Composite Concepts
owl:intersectionOfowl:unionOfowl:complementOf
![Page 75: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/75.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:DryRedWine) (owl:Class vin:DryRedWine (owl:intersectionOf vin:DryWine vin:RedWine))(subsumed-p vin:DryRedWine vin:DryWine) true(subsumed-p vin:DryRedWine vin:RedWine) true
DryWine
RedWine
DryRedWine ≡ DryWine П RedWineDryRedWine ≡ DryWine П RedWine
RedWine
DryWine
![Page 76: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/76.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:DryRedWine) (owl:Class vin:DryRedWine (owl:intersectionOf vin:DryWine vin:RedWine))(subsumed-p vin:DryRedWine vin:DryWine) true(subsumed-p vin:DryRedWine vin:RedWine) true
DryRedWine
DryWine
RedWine
DryRedWine ≡ DryWine П RedWineDryRedWine ≡ DryWine П RedWine
RedWine
DryWine
![Page 77: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/77.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:DryRedWine) (owl:Class vin:DryRedWine (owl:intersectionOf vin:DryWine vin:RedWine))(subsumed-p vin:DryRedWine vin:DryWine) true(subsumed-p vin:DryRedWine vin:RedWine) true
DryRedWine
superclass
superclass
DryWine
RedWine
DryRedWine ≡ DryWine П RedWineDryRedWine ≡ DryWine П RedWine
RedWine
DryWine
![Page 78: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/78.jpg)
ELW2009, Jenova
DryWine
RedWine
Intersection of Concepts(get-form vin:DryRedWine) (owl:Class vin:DryRedWine (owl:intersectionOf vin:DryWine vin:RedWine))(subsumed-p vin:DryRedWine vin:DryWine) true(subsumed-p vin:DryRedWine vin:RedWine) true
DryWine
RedWine
DryRedWine
superclass
superclass
DryRedWine ≡ DryWine П RedWineDryRedWine ≡ DryWine П RedWine
![Page 79: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/79.jpg)
ELW2009, Jenova
(owl-equivalent-p vin:DryWine vin:TableWine) true(owl-same-p vin:DryWine vin:TableWine) nil
(get-form vin:DryWine) (owl:Class vin:DryWine (rdf:about <http://www.w3.org/TR/2003/ (owl:intersectionOf vin:Wine (owl:hasValueRestriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))(get-form vin:TableWine) (owl:Class vin:TableWine (rdf:about <http://www.w3.org/TR/200 (owl:intersectionOf vin:Wine (owl:hasValueRestriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
Intersection of Concepts
DryWine ≡ TableWineDryWine ≡ TableWine
![Page 80: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/80.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:RedWine) (owl:Class vin:RedWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#RedWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))(get-form vin:RedTableWine)(owl:Class vin:RedTableWine (owl:intersectionOf vin:TableWine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))
(subsumed-p vin:RedTableWine vin:TableWine) true
RedWine ⊑ WineRedWine ⊑ Wine
RedTableWine ⊑ TableWine ⊑ WineRedTableWine ⊑ TableWine ⊑ Wine
![Page 81: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/81.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:RedWine) (owl:Class vin:RedWine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#RedWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))(get-form vin:RedTableWine)(owl:Class vin:RedTableWine (owl:intersectionOf vin:TableWine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))
(subsumed-p vin:RedTableWine vin:TableWine) true(subsumed-p vin:RedTableWine vin:RedWine) true
vin:TableWine vin:Wine
vin:RedTableWine vin:RedWine
RedWine ⊑ WineRedWine ⊑ Wine
RedTableWine ⊑ TableWine ⊑ WineRedTableWine ⊑ TableWine ⊑ Wine
![Page 82: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/82.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
![Page 83: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/83.jpg)
ELW2009, Jenova
Intersection of Concepts
(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
![Page 84: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/84.jpg)
ELW2009, Jenova
Intersection of Concepts(subsumed-p vin:Zinfandel vin:RedWine) true
(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
Zinfandel RedWine⊆Zinfandel RedWine⊆
![Page 85: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/85.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:RedWine) (owl:Class vin:RedWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#RedWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))
(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
Zinfandel RedWine⊆Zinfandel RedWine⊆
![Page 86: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/86.jpg)
ELW2009, Jenova
Intersection of Concepts(subsumed-p vin:Zinfandel vin:TableWine) true
(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
Zinfandel TableWine⊆Zinfandel TableWine⊆
![Page 87: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/87.jpg)
ELW2009, Jenova
Intersection of Concepts
(get-form vin:Zinfandel) (owl:Class vin:Zinfandel (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#Zinfandel>) (rdfs:subClassOf (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red)) (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry)) (owl:Restriction (owl:onProperty vin:hasBody) (owl:allValuesFrom (owl:Class #))) (owl:Restriction (owl:onProperty vin:hasFlavor) (owl:allValuesFrom (owl:Class #)))) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:hasValue vin:ZinfandelGrape)) (owl:Restriction (owl:onProperty vin:madeFromGrape) (owl:maxCardinality "1"^^xsd:nonNegativeInteger))))
(get-form vin:TableWine) (owl:Class vin:TableWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#TableWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
Zinfandel TableWine⊆Zinfandel TableWine⊆
![Page 88: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/88.jpg)
ELW2009, Jenova
Intersection of Concepts(typep vin:ElyseZinfandel vin:RedWine) true
(get-form vin:ElyseZinfandel) (vin:Zinfandel vin:ElyseZinfandel (vin:hasMaker vin:Elyse) (vin:hasSugar vin:Dry) (vin:hasFlavor vin:Moderate) (vin:hasBody vin:Full) (vin:locatedIn vin:NapaRegion) (vin:hasColor vin:Red) (vin:madeFromGrape vin:ZinfandelGrape))
(get-form vin:RedWine) (owl:Class vin:RedWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#RedWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))
ElyseZinfandel RedWine∈ElyseZinfandel RedWine∈
Zinfandel ⊑ WineZinfandel ⊑ Wine
![Page 89: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/89.jpg)
ELW2009, Jenova
Intersection of Concepts(typep vin:ElyseZinfandel vin:TableWine) true
(get-form vin:ElyseZinfandel) (vin:Zinfandel vin:ElyseZinfandel (vin:hasMaker vin:Elyse) (vin:hasSugar vin:Dry) (vin:hasFlavor vin:Moderate) (vin:hasBody vin:Full) (vin:locatedIn vin:NapaRegion) (vin:hasColor vin:Red) (vin:madeFromGrape vin:ZinfandelGrape))
(get-form vin:TableWine) (owl:Class vin:TableWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#TableWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
ElyseZinfandel TableWine∈ElyseZinfandel TableWine∈
Zinfandel ⊑ WineZinfandel ⊑ Wine
![Page 90: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/90.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:MariettaOldVinesRed) (vin:RedTableWine vin:MariettaOldVinesRed (vin:hasMaker vin:Marietta) (vin:hasSugar vin:Dry) (vin:hasFlavor vin:Moderate) (vin:hasBody vin:Medium) (vin:locatedIn vin:SonomaRegion) (vin:hasColor vin:Red))
(typep vin:MariettaOldVinesRed vin:RedWine) true
(get-form vin:RedWine) (owl:Class vin:RedWine (rdf:about <http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#RedWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasColor) (owl:hasValue vin:Red))))
MariettaOldVinesRed ⊑ RedWineMariettaOldVinesRed ⊑ RedWine
![Page 91: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/91.jpg)
ELW2009, Jenova
Intersection of Concepts(get-form vin:MariettaOldVinesRed) (vin:RedTableWine vin:MariettaOldVinesRed (vin:hasMaker vin:Marietta) (vin:hasSugar vin:Dry) (vin:hasFlavor vin:Moderate) (vin:hasBody vin:Medium) (vin:locatedIn vin:SonomaRegion) (vin:hasColor vin:Red))
(typep vin:MariettaOldVinesRed vin:TableWine) true
(get-form vin:TableWine)(owl:Class vin:TableWine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/wine#TableWine>) (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
MariettaOldVinesRed ⊑ TableWineMariettaOldVinesRed ⊑ TableWine
![Page 92: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/92.jpg)
ELW2009, Jenova
Intersection of Concepts
Zinfandel ≡ Wine П madeFromGrape.ZinfandelGrapeZinfandel ≡ Wine П madeFromGrape.ZinfandelGrape
Zinfandel ⊑ hasColor.RedZinfandel ⊑ hasSugar.DryZinfandel hasBody.{Full, Medium}⊑ ∀Zinfandel hasFlavor.{Moderate, Strong}⊑ ∀
Zinfandel ⊑ hasColor.RedZinfandel ⊑ hasSugar.DryZinfandel hasBody.{Full, Medium}⊑ ∀Zinfandel hasFlavor.{Moderate, Strong}⊑ ∀
Zinfandel RedWine⊑Zinfandel RedWine⊑
Zinfandel TableWine⊑Zinfandel TableWine⊑
TableWine ≡ Wine П hasSugar.DryTableWine ≡ Wine П hasSugar.Dry
RedWine ≡ Wine П hasColor.RedRedWine ≡ Wine П hasColor.Red
![Page 93: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/93.jpg)
ELW2009, Jenova
TableWine ≡ Wine П hasSugar.DryTableWine ≡ Wine П hasSugar.Dry
RedWine
Intersection of Concepts
Zinfandel ≡ Wine П madeFromGrape.ZinfandelGrapeZinfandel ≡ Wine П madeFromGrape.ZinfandelGrape
RedWine ≡ Wine П hasColor.RedRedWine ≡ Wine П hasColor.Red
Zinfandel RedWine⊑Zinfandel RedWine⊑
Zinfandel TableWine⊑Zinfandel TableWine⊑
Entail
TableWine
Zinfandel
Zinfandel ⊑ hasColor.RedZinfandel ⊑ hasSugar.DryZinfandel hasBody.{Full, Medium}⊑ ∀Zinfandel hasFlavor.{Moderate, Strong}⊑ ∀
Zinfandel ⊑ hasColor.RedZinfandel ⊑ hasSugar.DryZinfandel hasBody.{Full, Medium}⊑ ∀Zinfandel hasFlavor.{Moderate, Strong}⊑ ∀
![Page 94: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/94.jpg)
ELW2009, Jenova
Intersection of Concepts
(subsumed-p vin:WhiteNonSweetWine vin:DryWhiteWine) false(subsumed-p vin:DryWhiteWine vin:WhiteNonSweetWine) true
DryWine ≡ Wine П ∃hasSugar.DryDryWine ≡ Wine П ∃hasSugar.Dry
DryWhiteWine ≡ DryWine П WhiteWineDryWhiteWine ≡ DryWine П WhiteWine
WhiteNonSweetWine ≡ WhiteWine П∀hasSugar.{Dry, OffDry}WhiteNonSweetWine ≡ WhiteWine П∀hasSugar.{Dry, OffDry}
DryWhiteWine vs. WhiteNonSweetWineWhich subsumes which?
DryWhiteWine ⊑ WhiteNonSweetWine
![Page 95: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/95.jpg)
ELW2009, Jenova
Intersection of Concepts(Complex)
(subsumed-p vin:WhiteNonSweetWine vin:DryWhiteWine) false(subsumed-p vin:DryWhiteWine vin:WhiteNonSweetWine) true
(get-form vin:WhiteNonSweetWine)(owl:Class vin:WhiteNonSweetWine (owl:intersectionOf vin:WhiteWine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:allValuesFrom (owl:Class (owl:oneOf vin:Dry vin:OffDry))))))(get-form vin:DryWhiteWine)(owl:Class vin:DryWhiteWine (owl:intersectionOf vin:DryWine vin:WhiteWine))
(get-form vin:DryWine) (owl:Class vin:DryWine (rdf:about #<uri http://www.w3.org/TR/2003/PR-owl-guide-20031209/win (owl:intersectionOf vin:Wine (owl:Restriction (owl:onProperty vin:hasSugar) (owl:hasValue vin:Dry))))
![Page 96: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/96.jpg)
ELW2009, Jenova
Satisfiability Checking(defConcept TheSpecialCourse (rdf:type owl:Class) (owl:intersectionOf food:RedMeatCourse (owl:Restriction (owl:onProperty food:hasFood) (owl:allValuesFrom food:Fruit))))
(defIndividual No1SpecialCourse (rdf:type TheSpecialCourse) (food:hasFood food:BeefCurry food:Bananas))Error: food:SweetFruit of #<food:SweetFruit food:Bananas> is disjoint to allValuesFrom #<owl:Class food:RedMeat> in (#<owl:Class food:RedMeatCourse>).
food:Meat food:RedMeat
food:Fruit
disjointWith
rdfs:subClassOf
If a class is disjoint with a superclass,then the class is also disjoint with the subclasses.
![Page 97: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/97.jpg)
ELW2009, Jenova
Union of Concepts(get-form vin:WineDescriptor) (owl:Class vin:WineDescriptor (rdfs:comment "Made WineDescriptor unionType of tastes and color") (owl:unionOf vin:WineTaste vin:WineColor))
(subsumed-p vin:WineTaste vin:WineDescriptor) true(subsumed-p vin:WineColor vin:WineDescriptor) true
(typep vin:Red vin:WineDescriptor) true
WineColor
WineTaste
![Page 98: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/98.jpg)
ELW2009, Jenova
Union of Concepts(get-form vin:WineDescriptor) (owl:Class vin:WineDescriptor (rdfs:comment "Made WineDescriptor unionType of tastes and color") (owl:unionOf vin:WineTaste vin:WineColor))
(subsumed-p vin:WineTaste vin:WineDescriptor) true(subsumed-p vin:WineColor vin:WineDescriptor) true
(typep vin:Red vin:WineDescriptor) true
WineColor
WineTaste
WineDescriptor
![Page 99: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/99.jpg)
ELW2009, Jenova
Union of Concepts(get-form vin:WineDescriptor) (owl:Class vin:WineDescriptor (rdfs:comment "Made WineDescriptor unionType of tastes and color") (owl:unionOf vin:WineTaste vin:WineColor))
(subsumed-p vin:WineTaste vin:WineDescriptor) true(subsumed-p vin:WineColor vin:WineDescriptor) true
(typep vin:Red vin:WineDescriptor) true
WineColor
WineTaste
WineDescriptor
superclass
superclass
![Page 100: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/100.jpg)
ELW2009, Jenova
Union of Concepts(get-form vin:WineDescriptor) (owl:Class vin:WineDescriptor (rdfs:comment "Made WineDescriptor unionType of tastes and color") (owl:unionOf vin:WineTaste vin:WineColor))
(subsumed-p vin:WineTaste vin:WineDescriptor) true(subsumed-p vin:WineColor vin:WineDescriptor) true
(typep vin:Red vin:WineDescriptor) true
WineTaste
WineColor
WineDescriptor
superclass
superclass
![Page 101: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/101.jpg)
ELW2009, Jenova
NonConsumableThing
Complement of a Class(collect-all-extensions-of owl:complementOf) ((#<owl:Class owl:Nothing> #<owl:Class owl:Thing>) (#<owl:Class common-lisp:nil> #<owl:Class owl:Nothing>) (#<owl:Class food:NonConsumableThing> #<owl:Class food:ConsumableThing>))
(disjoint-p food:NonConsumableThing food:ConsumableThing) true(superclasses-of food:ConsumableThing) (#<owl:Class owl:Thing>)(superclasses-of food:NonConsumableThing) (#<owl:Class owl:Thing>)
ConsumableThing
Thing
![Page 102: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/102.jpg)
ELW2009, Jenova
Family Ontology(defIndividual Female (rdf:type Gender) (owl:differentFrom Male))Warning: Range entail by rdf:type: Gender rdf:type rdfs:Class.Warning: Subclass of Gender is entailed to owl:Thing by domain constraint of other properties.Warning: Range entailX3 by owl:differentFrom: Male rdf:type owl:Thing.
(defResource Person (rdf:type owl:Class) (owl:intersectionOf Human (owl:Restriction (owl:onProperty hasGender) (owl:cardinality 1))))Warning: Range entailX3 by owl:intersectionOf: Human rdf:type owl:Class.Warning: Range entailX3 by owl:onProperty: hasGender rdf:type rdf:Property.
(defResource Woman (rdf:type owl:Class) (owl:intersectionOf Person (owl:Restriction (owl:onProperty hasGender) (owl:hasValue Female))))
![Page 103: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/103.jpg)
ELW2009, Jenova
Family Ontology
(defIndividual QueenElizabethII (rdf:type Person) (hasGender Female))Warning: Entailed in refining: #<Person QueenElizabethII> to Woman.#<Woman QueenElizabethII>
Person Womanintersection
hasGender Female
![Page 104: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/104.jpg)
ELW2009, Jenova
Family Ontology
Person Womanintersection
hasGender Female
QueenElizabethII
rdf:type
![Page 105: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/105.jpg)
ELW2009, Jenova
Family Ontology
Person Womanintersection
hasGender Female
QueenElizabethII
rdf:type
![Page 106: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/106.jpg)
ELW2009, Jenova
Useful Properties in OWL
owl:FunctionalPropertyowl:InverseFunctionalPropertyowl:TransitiveProperty
![Page 107: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/107.jpg)
ELW2009, Jenova
Functional Property(get-form vin:hasColor) (owl:ObjectProperty vin:hasColor (rdf:type owl:FunctionalProperty) (rdfs:domain vin:Wine) (rdfs:range vin:WineColor) (rdfs:subPropertyOf vin:hasWineDescriptor))(-> vin:ChateauMargaux vin:hasColor) (#<owl:Thing food:Red> #<vin:WineColor vin:Red>)(owl-same-p food:Red vin:Red) true (defIndividual vin:ChateauMargaux (vin:hasColor 赤 ))Warning: Range entailX3 by vin:hasColor: 赤 rdf:type vin:WineColor.Warning: #<vin:WineColor 赤 > should be one of (#<vin:WineColor vin:White> #<vin:WineColor vin:Rose> #<vin:WineColor vin:Red>).#<vin:Margaux vin:ChateauMargaux>
(owl-same-p 赤 vin:Red) true(-> vin:ChateauMargaux vin:hasColor) (#<vin:WineColor 赤 > #<owl:Thing food:Red> #<vin:WineColor vin:Red>)
ChateauMargaux
Red ?
hasColor
=
hasColor
![Page 108: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/108.jpg)
ELW2009, Jenova
Inverse Functional Property(defProperty hasSocialSecurityNumber (rdf:type owl:InverseFunctionalProperty) (rdfs:domain (owl:Class Person)) (rdfs:range SocialSecurityNumber)) Warning: Range entailX3 by rdfs:range: SocialSecurityNumber rdf:type rdfs:Class.#<owl:InverseFunctionalProperty hasSocialSecurityNumber>(defIndividual Seiji (rdf:type Person) (hasSocialSecurityNumber (SocialSecurityNumber (rdf:value 12345))))(defIndividual Koide (rdf:type Person) (hasSocialSecurityNumber (SocialSecurityNumber (rdf:value 12345))))(owl-same-p Seiji Koide) true
![Page 109: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/109.jpg)
ELW2009, Jenova
Transitive Property(get-form vin:locatedIn) (owl:TransitiveProperty vin:locatedIn (rdfs:domain owl:Thing) (rdfs:range vin:Region))(subsumed-p vin:MargauxRegion vin:MedocRegion) true(subsumed-p vin:MedocRegion vin:BordeauxRegion) true(subsumed-p vin:MargauxRegion vin:BordeauxRegion) true(subsumed-p vin:Margaux vin:Medoc) true(subsumed-p vin:Medoc vin:Bordeaux) true(subsumed-p vin:Margaux vin:Bordeaux) true(get-form vin:Margaux)
MedocRegion
BordeauxRegion
Margaux
Medoc
Bordeaux
(owl:hasValueRestriction (owl:onProperty vin:locatedIn) (owl:hasValue vin:XXX-Region))
MargauxRegion
![Page 110: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/110.jpg)
ELW2009, Jenova
Miscellaneous Utilities(collect-all-instances vin:Wine) (#<vin:Beaujolais vin:ChateauMorgonBeaujolais> #<vin:Margaux vin:ChateauMargaux> #<vin:Pauillac vin:ChateauLafiteRothschildPauillac> #<vin:Sauternes vin:ChateauDYchemSauterne> #<vin:StEmilion vin:ChateauChevalBlancStEmilion> #<vin:CotesDOr vin:ClosDeVougeotCotesDOr> #<vin:WhiteBurgundy vin:PulignyMontrachetWhiteBurgundy> #<vin:WhiteBurgundy vin:CortonMontrachetWhiteBurgundy> #<vin:Meursault vin:ChateauDeMeursaultMeursault> #<vin:CabernetFranc vin:WhitehallLaneCabernetFranc> ...)
(dah vin:Wine) (vin:Wine (vin:AlsatianWine) (vin:AmericanWine) (vin:Beaujolais vin:ChateauMorgonBeaujolais) (vin:Bordeaux (vin:Medoc (vin:Margaux vin:ChateauMargaux) (vin:Pauillac vin:ChateauLafiteRothschildPauillac)) (vin:RedBordeaux) (vin:Sauternes vin:ChateauDYchemSauterne) (vin:StEmilion vin:ChateauChevalBlancStEmilion) (vin:WhiteBordeaux)) (vin:Burgundy (vin:RedBurgundy (vin:CotesDOr vin:ClosDeVougeotCotesDOr)) (vin:WhiteBurgundy (vin:Meursault vin:ChateauDeMeursaultMeursault))) (vin:CabernetFranc vin:WhitehallLaneCabernetFranc) (vin:CabernetSauvignon vin:SantaCruzMountainVineyardCabernetSauvignon vin:PageMillWineryCabernetSauvignon vin:MariettaCabernetSauvignon vin:FormanCabernetSauvignon) (vin:TexasWine) (vin:CaliforniaWine) (vin:Chardonnay vin:PeterMccoyChardonnay vin:MountadamChardonnay vin:MountEdenVineyardEdnaValleyChardonnay vin:FormanChardonnay vin:BancroftChardonnay) (vin:CheninBlanc vin:VentanaCheninBlanc vin:FoxenCheninBlanc) (vin:DessertWine (vin:IceWine vin:SelaksIceWine) (vin:SweetRiesling vin:SchlossVolradTrochenbierenausleseRiesling vin:SchlossRothermelTrochenbierenausleseRiesling)) (vin:DryWine (vin:DryRedWine) (vin:DryWhiteWine (vin:WhiteNonSweetWine.14 vin:StGenevieveTexasWhite))) (vin:EarlyHarvest) (vin:FrenchWine) (vin:FullBodiedWine) (vin:Gamay) (vin:GermanWine) (vin:ItalianWine (vin:Chianti vin:ChiantiClassico)) (vin:LateHarvest (vin:IceWine vin:SelaksIceWine) (vin:Sauternes vin:ChateauDYchemSauterne)) (vin:Loire (vin:Anjou vin:RoseDAnjou) (vin:Muscadet vin:SevreEtMaineMuscadet) (vin:Sancerre vin:ClosDeLaPoussieSancerre) (vin:Tours) (vin:WhiteLoire)) (vin:Meritage vin:KathrynKennedyLateral) (vin:Merlot vin:LongridgeMerlot vin:GaryFarrellMerlot) (vin:PetiteSyrah vin:SeanThackreySiriusPetiteSyrah vin:MariettaPetiteSyrah) (vin:PinotBlanc) (vin:PinotNoir vin:MountadamPinotNoir vin:MountEdenVineyardEstatePinotNoir vin:LaneTannerPinotNoir) (vin:RedWine (vin:DryRedWine) (vin:Port vin:TaylorPort) (vin:RedBordeaux) (vin:RedBurgundy (vin:CotesDOr vin:ClosDeVougeotCotesDOr))) (vin:Riesling (vin:DryRiesling vin:MountadamRiesling) (vin:SweetRiesling vin:SchlossVolradTrochenbierenausleseRiesling vin:SchlossRothermelTrochenbierenausleseRiesling)) (vin:RoseWine) (vin:SemillonOrSauvignonBlanc (vin:SauvignonBlanc vin:StonleighSauvignonBlanc vin:SelaksSauvignonBlanc vin:CorbansSauvignonBlanc vin:CorbansPrivateBinSauvignonBlanc) (vin:Semillon vin:KalinCellarsSemillon vin:CongressSpringsSemillon)) (vin:SweetWine) (vin:TableWine (vin:RedTableWine vin:MariettaOldVinesRed) (vin:WhiteTableWine)) (vin:Zinfandel (vin:Zinfandel.15 vin:SaucelitoCanyonZinfandel1998)) (vin:WhiteWine (vin:DryWhiteWine (vin:WhiteNonSweetWine.14 vin:StGenevieveTexasWhite)) (vin:WhiteBordeaux) (vin:WhiteBurgundy (vin:Meursault vin:ChateauDeMeursaultMeursault)) (vin:WhiteLoire) (vin:WhiteNonSweetWine (vin:WhiteNonSweetWine.14 vin:StGenevieveTexasWhite))) (food:Wine))
![Page 111: ELW2009, Jenova SWCLOS: A Semantic Web Processor on CLOS Seiji Koide National Institute of Informatics.](https://reader036.fdocuments.in/reader036/viewer/2022081519/56649c7d5503460f94932912/html5/thumbnails/111.jpg)
ELW2009, Jenova
Conclusion Semantic Web Processor SWCLOS is demonstrat
ed with hands-on materials. SWCLOS is almost completed, but it is still evolvi
ng. To DO
Undo, Dependency, SW-oriented Graph GUI, RDF Gate, SW-REPL, etc.
Open Source Everything is permitted except change
package-name gx, and class name galaxy and galaxy-classEmailto: [email protected], [email protected], [email protected]