Differences

This shows you the differences between two versions of the page.

--- courses:semint:lab_reasoning [2022/11/20 18:15] – kkt
+++ courses:semint:lab_reasoning [2023/11/20 13:25] (current) – [Lab instructions] kkt
@@ Line 3: / Line 3: @@
   * Last verification: **20221121**
   * Tools required for this lab:
-    * [[http://protege.stanford.edu/products.php#desktop-protege|Protégé Desktop 5]]
+    * [[https://protege.stanford.edu/software.php#desktop-protege|Protégé Desktop 5]]
     * Reasoner:
-      * [[http://www.hermit-reasoner.com/|HermiT]]
+      * [[http://www.hermit-reasoner.com/|HermiT]] (mirror: {{https://krzysztof.kutt.pl/didactics/semweb/HermiT-1.3.8.1099.zip|HermiT-1.3.8.1099.zip}})
-      * [[http://semanticweb.org/wiki/Pellet|Pellet 2.3.1]] ({{https://krzysztof.kutt.pl/didactics/semweb/pellet-2.3.1.zip|pellet-2.3.1.zip}}) (works only on Java <= 8)
+      * [[http://semanticweb.org/wiki/Pellet|Pellet 2.3.1]] (mirror: {{https://krzysztof.kutt.pl/didactics/semweb/pellet-2.3.1.zip|pellet-2.3.1.zip}}) (works only on Java <= 8)
 ==== Prepare yourself for the lab ====
@@ Line 150: / Line 150: @@
   - Close the previous ontology. Load ''Family-tree-2.owl''.
   - Create or find datatype properties: ''birthYear'', ''deathYear'', make them //functional//. \\ {{.:owl-datatypes.png?direct&200|}}
-  - Create ''Victorian'' class: ''Person and birthYear some integer[>=1837, <=1901]''
+  - Create ''Victorian'' class: ''<nowiki>Person and birthYear some integer[>=1837, <=1901]</nowiki>''
+    * If ''<nowiki><=</nowiki>'' does not work, try: ''<nowiki>Person and (birthYear some xsd:integer[>=1837]) and not (birthYear some xsd:integer[>1901])</nowiki>''
   - Classify the ontology. How many individuals have been classified as Victorians?