courses:semint:lab_reasoning

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
courses:semint:lab_reasoning [2023/11/20 11:22] – [Reasoning in ontologies] kktcourses:semint:lab_reasoning [2023/11/20 13:25] (current) – [Lab instructions] kkt
Line 150: Line 150:
   - Close the previous ontology. Load ''Family-tree-2.owl''.    - 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 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?   - Classify the ontology. How many individuals have been classified as Victorians?
  
  • courses/semint/lab_reasoning.1700479333.txt.gz
  • Last modified: 17 months ago
  • by kkt