Hand's on experience with Ontologies

=Task for next lecture=

Test yourself, answer these questions

 * What is FOAF?
 * What is Protege?
 * Differences between Protégé 3.X and Protégé 4.X
 * What is Web Protégé
 * How do I load an OWL file (Protege)?
 * What is Semantic MediaWiki?
 * What are the differences between MediaWiki and Wikipedia?

= Lecture Notes & Scenarios = The original lecture was provided by Susana Rodriguez de Novoa,

Lecture Notes 2014

 * Lecture notes - 2014: [[Media:UNIK4710-L5-v14-LectureNotes.pdf]]
 * Video for the third lesson - mms://lux.unik.no/UNIK4710-JN/UNIK-20140228.wmv
 * Presentation from Marcel on HeartRate: https://plus.google.com/107636785072275844843/posts/ghZhF7UApy9
 * is part of UNIK4710MobileSemantics on Google Plus

Lecture Notes 2013

 * Lecture notes - 2013: [[Media:UNIK4710-L4-v13-LectureNotes.pdf]]

Lecture Notes 2012

 * Lecture notes - 2012:[[Media:UNIK4710-L4-v12-LectureNotes.pdf]]

= Presentations =

Presentations 2013
= Other Info =
 * 'Protégé: Classes, Properties and Instances' by Susana, [[Media:UNIK4710-ProtegePresentation.ppt]], [[Media:UNIK4710-Protege_Presentation.pdf]]


 * title: Hand's on experience with Ontologies
 * author: Josef Noll
 * subfooter: UNIK4710/UNIK9710

= ⌘ Notes on Protege installation = DOT for Graphviz tab (for MAC): http://wiki.unik.no/index.php/Unik/ProtegeUsage

Alternative to Graphviz is JambalayaTab:



= ⌘ Basic Concepts =



Classes are interpreted as sets that contain individuals.

Individuals represent objects in the domain that we are interested in.

Properties are binary relations on individuals - i.e. properties link two individuals together.

= ⌘ Creating clases =



⌘ Concept: Disjointness

 * All classes could potentially overlap: This means an individual could be both a Pizza and a Ice Cream at the same time.




 * If we state that classes are disjoint: This means an individual cannot be both a Pizza and a Ice Cream at the same time.



= ⌘ Creating Properties =



⌘ Concept: Characteristics of properties

 * If a property is functional, for a given individual, there can be at most one individual that is related to the individual via the property.




 * If some property links individual a to individual b then its inverse property will link individual b to individual a.



⌘ Concept: Characteristics of properties

 * If a property is transitive, and the property relates individual a to individual b, and also individual b to individual c, then we can infer that individual a is related to individual c via property P.




 * If a property P is symmetric, and the property relates individual a to individual b then individual b is also related to individual a via property P.



= ⌘ Creating Conditions =



⌘ Concept: Characteristics of conditions

 * AllValuesFrom: All values of the property must be of a certain type.




 * SomeValuesFrom: At least one value of the property must be of a certain type.



⌘ Concept: Characteristics of conditions

 * HasValue: At least one of the values of the property is a certain value.




 * Cardinality: The property must have at least/at most/exactly x values.



= Time planning =
 * Use of classes, properties, category...
 * discussion

Prepare by reading;
 * http://www.semantic-mediawiki.org/wiki/Help:Ontology_import
 * and "more" here in detail: http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1211

Try:
 * http://cwi.unik.no/wiki/Special:ExportRDF - and use "your user" as an example
 * Running Pizza example in Protege - hand-on experience: http://www.co-ode.org/ontologies/pizza

___SHOWFACTBOX___