W3C standard
- lite
- DL (Description Logic-- fragment of first order logic FOL )
- full
RDF/XML
OWL
class (concept)
individual (instance)
property (relationship)
---------------------------------------------------------------------------------------------
Protégé 3.3.1 - require jre
- download from http://protege.stanford.edu/download/registered.html
Metadata
OWLClasses
Every class is under "owl:Thing".
You can reorder the class by just dragging that class.
In OWL class always overlap. If we want to disjoint the class.
ถ้า คลาสแม่ disjoint คลาสลูก disjoint ด้วย
save project -- เลือกที่ save
มันจะ สร้างไฟล์ OWL ซึ่งเป็น ไฟล์ XML มาให้
สามารถโชว์เป็น XML ได้
At least one
Restriction
Add named class --> Polyhierarchies ( multiple inheritance )
Create new Expression -- Necessary and Sufficient
Covering Axiom
Properties
Individuals -- create individual
Forms -- GUI
เปิด new tab
Project > Configure
OWLVizTab
Options > Program File/bin/dot.exe
OWL > preference
Reasoner : http://localhost:8080
ชี้ไปที่ Reasoner
Reasoner : Racer, Pellet Pellet
RacerPro 1.9.0 -- logical influence of ontology (DL)
Acquire license for academic, copy license.racerlicense next to RacePro.exe
HTTP service enabled for: http://localhost:8080/
run "pellet dig" at port 8081
Try it yourself, from http://www.co-ode.org/downloads/pizzafinder/
Java Web Start
- lite
- DL (Description Logic-- fragment of first order logic FOL )
- full
RDF/XML
OWL
class (concept)
individual (instance)
property (relationship)
---------------------------------------------------------------------------------------------
Protégé 3.3.1 - require jre
- download from http://protege.stanford.edu/download/registered.html
Metadata
OWLClasses
Every class is under "owl:Thing".
You can reorder the class by just dragging that class.
In OWL class always overlap. If we want to disjoint the class.
ถ้า คลาสแม่ disjoint คลาสลูก disjoint ด้วย
save project -- เลือกที่ save
มันจะ สร้างไฟล์ OWL ซึ่งเป็น ไฟล์ XML มาให้
สามารถโชว์เป็น XML ได้
At least one
Restriction
Add named class --> Polyhierarchies ( multiple inheritance )
Create new Expression -- Necessary and Sufficient
Covering Axiom
Properties
Individuals -- create individual
Forms -- GUI
เปิด new tab
Project > Configure
OWLVizTab
Options > Program File/bin/dot.exe
OWL > preference
Reasoner : http://localhost:8080
ชี้ไปที่ Reasoner
Reasoner : Racer, Pellet Pellet
RacerPro 1.9.0 -- logical influence of ontology (DL)
Acquire license for academic, copy license.racerlicense next to RacePro.exe
HTTP service enabled for: http://localhost:8080/
run "pellet dig" at port 8081
Try it yourself, from http://www.co-ode.org/downloads/pizzafinder/
Java Web Start
ความคิดเห็น