Professional Documents
Culture Documents
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 1 / 78
From Ideas to Ontologies
Example I - Ceramics
Goals:
Classification and Cataloguing of potteries.
Localisation of findings.
Technical data of pottery.
Identification of the parts of the findings.
Identification of the shape and type of potteries.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 2 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 3 / 78
From Ideas to Ontologies
Example I - Ceramics
Places.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 4 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 5 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 6 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 7 / 78
From Ideas to Ontologies
Example I - Ceramics
Types of ceramic.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 8 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 9 / 78
From Ideas to Ontologies
Example I - Ceramics
Types of fragments.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 10 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 11 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 12 / 78
From Ideas to Ontologies
Example I - Ceramics
Measurements.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 13 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 14 / 78
From Ideas to Ontologies
Example I - Ceramics
Ceramic shapes.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 15 / 78
From Ideas to Ontologies
Example I
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 16 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 17 / 78
From Ideas to Ontologies
Goals:
Recognizing Italian places from written text in NL.
Mapping transcription of wire-tapping.
Integrating place-spotting software.
Dealing with not precise estimation.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 18 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 19 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 20 / 78
From Ideas to Ontologies
Example II
else$ A/P$
start$ A/P$ else$
0" 3" 6"
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 21 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 22 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 23 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 24 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 25 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 26 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 27 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 28 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 29 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 30 / 78
From Ideas to Ontologies
Example II
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 31 / 78
From Ideas to Ontologies
Goals:
Mapping the rich epigraphic heritage of the Castello Ursino
Civic Museum of Catania.
Focusing on EpiDoc TEI XML, an XML based standard digital
representation for cultural heritage contents.
Being part of the EPICUM project.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 32 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 33 / 78
From Ideas to Ontologies
What is an epigraph?.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 34 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 35 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 36 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 37 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 38 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 39 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 40 / 78
From Ideas to Ontologies
Complex epigraphs.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 41 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 42 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 43 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 44 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 45 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 46 / 78
From Ideas to Ontologies
Open challenge:
Epigraphic text.
Names, places, font, physical features, decorations, etc...
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 47 / 78
From Ideas to Ontologies
Goals:
Mapping Agents, services, systems, and their interactions.
Case: domotics.
Mapping IoT devices.
Mapping communication in IoT.
Selecting IoT devices.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 48 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 49 / 78
From Ideas to Ontologies
GoalPart TaskPart
Agent
subclass of subclass of
subclass of
dependsOn dependsOn
hasBehavior Goal Task
Device Behavior Description Description
consistsOfGoalDescription consistsOfTaskDescription
TaskObject Task
TaskOperator
Parameter
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 50 / 78
From Ideas to Ontologies
hasTaskOperator
light_object turn_off
hasBehavior
LightAgent_ hasTaskObject _type
SwitchOff
SwitchOff SwitchOffTask
Description
Behavior
consistsOfGoalDescription consistsOfTaskDescription
Class
hasTaskOperator
Instance
Legenda
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 51 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 52 / 78
From Ideas to Ontologies
hasConfiguration
hasConnection
configurationProvidedBy
hasConfiguration
subclass of
Agent Device
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 53 / 78
From Ideas to Ontologies
setsUp
setUpFrom hasType
Class Alan-Light Main_Kitchen kitchen
hasTaskObject hasSpaceSpan
SwitchOffTask
Instance
Legenda
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 54 / 78
From Ideas to Ontologies
Requests of activities.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 55 / 78
From Ideas to Ontologies
dependsOn dependsOn
Plan Goal Task
Description consistsOfGoalDescription Description consistsOfTaskDescription Description
TaskObject Task
TaskOperator
Parameter
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 56 / 78
From Ideas to Ontologies
performs consistsOfTaskDescription
User-Alan alan-plan1 alan-goal-1-1
consistsOfGoalDescription
alan-task-1-1-1
hasTaskObject hasTaskOperator
hasType
light-object-type alan-task-object
turn_off
Class
Instance
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 57 / 78
From Ideas to Ontologies
Performing activities.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 58 / 78
From Ideas to Ontologies
hasStatus
TaskObject Task
TaskOperator Parameter
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 59 / 78
From Ideas to Ontologies
Task Task
Class Description Device
Execution
Instance
alan-task- hasTaskExecution
Legenda 1-1-1
alan-task- performs
1-1-1-exec Light-Agent
hasTaskObject hasTaskOperator
hasStatus
Alan-Light turn_off
succeeded_
status ActionStatus
Task Task
Object Operator
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 60 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 61 / 78
From Ideas to Ontologies
<connects>
OASIS KBBehavior
ONTOLOGY <imports> <reads/writes> PROFETA
<requests>
KBBelief
HERMIT DL
REASONER
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 62 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 63 / 78
From Ideas to Ontologies
prof:consistsOfGoalDescription prof:consistsOfGoalDescription
dev:LD-turnon-
dev:LD-turnoff- goalDes
goalDes
prof:consistsOfTaskDescription prof:consistsOfTaskDescription
prof:hasTaskOperator prof:hasTaskOperator
dev:ld-light1
prof:turn_off prof:turn_on
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 64 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 65 / 78
From Ideas to Ontologies
prof:hasConfiguration prof:configurationProvidedBy
base:alan-ld1-config base:alan
prof:setsUp
base:ld1-light1
prof:hasSpaceSpan
base:
base:alan-kitchen
prof:setUpFrom main_kitchen_light
prof:hasType
prof:kitchen
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 66 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 67 / 78
From Ideas to Ontologies
base:alan-plan1 base:alan-goal1-1
prof:consistsOfGoalDescription
prof:consistsOfTaskDescription
prof:turn_off base:alan-task1-1-1
hasTaskOperator
prof:hasTaskObject
base:
prof:light_object_type
alan-task1-1-1-obj
prof:hasType
prof:hasSpaceSpan
base:
prof:kitchen alan-task1-1-1-
prof:hasType kitchen
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 68 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 69 / 78
From Ideas to Ontologies
base:alan-task1-1-1
prof:hasTaskExecution
prof:performs prof:hasTaskOperator
base:alan-task1-1-1-
dev:light-device prof:turn_off
exec
prof:hasTaskObject
prof:setUpFrom
base:
dev:ld-light1
alan-task1-1-1-obj
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 70 / 78
From Ideas to Ontologies
Features: Conditionals.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 71 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 72 / 78
From Ideas to Ontologies
Features: Template.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 73 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 74 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 75 / 78
From Ideas to Ontologies
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 76 / 78
From Ideas to Ontologies
Open challenges
Including paradigms of MAS.
Real cases of smart contracts. What about block chain?.
Systems and services.
Interaction among agents.
Creating a suitable ABox: Wordnet, etc...
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 77 / 78
From Ideas to Ontologies
Q&A
Question Time.
Ideas for Projects.
Ideas for MSc Thesis.
Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 78 / 78