You are on page 1of 78

From Ideas to Ontologies

From Ideas to Ontologies

Daniele Francesco Santamaria

Department of Mathematics and Computer Science, University of Catania

Lecture for the course of Web Reasoning


May 24, June 7, 2019

Part II - Case Studies

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

OntoCeramic: an OWL ontology for ceramics classification.


Cantone, Nicolosi-Asmundo, Santamaria and Trapani. Proceedings
of the 30th Italian Conference on Computational Logic, CILC
2015, Genova, Italy, July 1-3, 2015, CEUR Workshop Proceedings,
ISSN 1613-0073, Vol. 1459, pp. 122-127.

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

Example I-bis - Ceramics

An Ontology for Legacy Data on Ancient Ceramics of the


Plain of Catania. Rodolfo Brancato, Marianna
Nicolosi-Asmundo, Grazia Pagano, Daniele Francesco
Santamaria, and Salvatore Ucchino. Proceedings of CILC
2019.
Towards an Ontology for Investigating on Archaeological
Sicilian Landscapes. Rodolfo Brancato, Marianna
Nicolosi-Asmundo, Grazia Pagano, Daniele Francesco
Santamaria, and Salvatore Ucchino. Proceedings of ODOCH
2019.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 17 / 78
From Ideas to Ontologies

Example II - Place recognition in Italian text

Goals:
Recognizing Italian places from written text in NL.
Mapping transcription of wire-tapping.
Integrating place-spotting software.
Dealing with not precise estimation.

An OWL framework for rule-based recognition of places in Italian non-structured text.


Cantone, Fornaia, Nicolosi-Asmundo, Santamaria and Tramontana. Proc. of the 2nd
International Workshop on Knowledge Discovery on the Web, KDWEB 2016, Cagliari,
Italy, September 8-10, 2016, CEUR Workshop Proceedings, ISSN 1613-0073, Vol.
1748, Section I, Paper 8.

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

Example III- Epigraphs

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.

An EPIDOC Ontological Perspective: the Epigraphs of the Castello Ursino Civic


Museum Of Catania via CIDOC CRM. Cantone, Cristofaro, Nicolosi-Asmundo, Prado,
Santamaria, Spampinato. Archeologia e Calcolatori. To App.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 32 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 33 / 78
From Ideas to Ontologies

Example III - Epigraphs

What is an epigraph?.

An epigraph or inscription is a written text publicly exhibited,


realized on un-perishable supports (usually marble or stone) with
the goal of celebrating an historical event, a person or a situation.
The text can be engraved, painted or a mosaic. An epigraph can
be placed outside, inside, or affixed on an object (such as a statue).

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 34 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 35 / 78
From Ideas to Ontologies

Example III - Epigraphs

Which is the process leading to epigraphs?.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 36 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 37 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 38 / 78
From Ideas to Ontologies

Example III - Epigraphs

How did epigraphs arrived?.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 39 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 40 / 78
From Ideas to Ontologies

Example III - Epigraphs

Complex epigraphs.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 41 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 42 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 43 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 44 / 78
From Ideas to Ontologies

Example III - Epigraphs

What about uncertainty of origin places?.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 45 / 78
From Ideas to Ontologies

Example III- Epigraphs

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 46 / 78
From Ideas to Ontologies

Example III- Epigraphs

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

Example IV- Internet of Things

Goals:
Mapping Agents, services, systems, and their interactions.
Case: domotics.
Mapping IoT devices.
Mapping communication in IoT.
Selecting IoT devices.

Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT.


Cantone, Longo, Nicolosi-Asmundo, Santamaria, Santoro. Proceeding of WOA 2019.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 48 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Agents and IoT devices.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 49 / 78
From Ideas to Ontologies

Example IV - Internet of Things

GoalPart TaskPart
Agent

subclass of subclass of
subclass of

dependsOn dependsOn
hasBehavior Goal Task
Device Behavior Description Description
consistsOfGoalDescription consistsOfTaskDescription

hasTaskObject hasTaskOperator hasTaskParameter

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

Example IV - Internet of Things

Goal Task Enviromental


Agent Behavior TaskObject Type
Description Description Component

hasTaskOperator

hasBehavior hasTaskObject hasType


LightAgent_
SwitchOn
LightAgent SwitchOn SwitchOnTask Bulb
Description turn_on
Behavior consistsOfTaskDescription
consistsOfGoalDescription Y
Y
Y
TaskOperator

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

Example IV - Internet of Things

Configuration of IoT devices.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 52 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Component setUpFrom Connection


connectsTo

hasConfiguration
hasConnection

setsUp Component Device


Configuration
Configuration subclass of subclass of Configuration

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

Example IV - Internet of Things

Task Enviromental Component


TaskObject Type Component Space User Type
Description Component Configuration

hasTaskObject hasType hasConfiguration


light_object_ Alan-Light-
SwitchOnTask Bulb User-Alan
type Configuration
configurationProvidedBy
Y

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

Example IV - Internet of Things

Requests of activities.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 55 / 78
From Ideas to Ontologies

Example IV - Internet of Things

User GoalPart TaskPart

requests subclass of subclass of

dependsOn dependsOn
Plan Goal Task
Description consistsOfGoalDescription Description consistsOfTaskDescription Description

hasTaskObject hasTaskOperator hasTaskParameter

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

Example IV - Internet of Things

Plan Goal Task


User Description
Description Description

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

Type Task Task Legenda


Object Operator

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 57 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Performing activities.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 58 / 78
From Ideas to Ontologies

Example IV - Internet of Things

hasStatus

Task Task ActionStatus


Device
Execution Description
performs hasTaskExecution

hasTaskObject hasTaskOperator hasTaskParameter

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

Example IV - Internet of Things

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

Example IV - Internet of Things

Prototype of a domotic system: Prof-Onto.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 61 / 78
From Ideas to Ontologies

Example IV - Internet of Things

<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

Example IV - Internet of Things

Phase I: device installation.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 63 / 78
From Ideas to Ontologies

Example IV - Internet of Things

dev:LD-turnoff- prof:hasBehavior prof:hasBehavior dev:LD-turnon-


dev:light-device
behavior behavior

prof:consistsOfGoalDescription prof:consistsOfGoalDescription

dev:LD-turnon-
dev:LD-turnoff- goalDes
goalDes

prof:consistsOfTaskDescription prof:consistsOfTaskDescription

dev:LD-turnoff- prof:hasTaskObject dev:LD-turnon-


taskDes taskDes

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

Example IV - Internet of Things

Phase II: device configuration.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 65 / 78
From Ideas to Ontologies

Example IV - Internet of Things

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

Example IV - Internet of Things

Phase III: user request.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 67 / 78
From Ideas to Ontologies

Example IV - Internet of Things

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

Example IV - Internet of Things

Phase IV: satisfying user requests.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 69 / 78
From Ideas to Ontologies

Example IV - Internet of Things

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

Example IV - Internet of Things

Features: Conditionals.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 71 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 72 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Features: Template.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 73 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 74 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Features: Smart Contract.

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 75 / 78
From Ideas to Ontologies

Example IV - Internet of Things

Daniele Francesco Santamaria - Course of Web Reasoning Department of Maths and CS - Univ. of Catania 76 / 78
From Ideas to Ontologies

Example IV - Internet of Things

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

You might also like