Knowledge Representation and Reasoning
in IKS
Speakers:
Valentina Presutti (KReS Overview)
Andrea Nuzzolese (Integrity check demo)
Enrico Daga (KReS Core demo)
Contributors: speakers + Alessandro Adamou +
Elvio Bonafede + Eva Blomqvist + Aldo Gangemi
Outline
•
•
•
•
•
•
•
•
KReS overview
KReS and CMS developers?
KReS and internal validation?
KReS and WP3 requirements
Relation with the IKS reference architecture
Ongoing and future work (towards beta)
Integrity check on remote data fusion (demo)
KReS main functionalities (demo)
2
KReS: main components
• Ontology Network
Manager (ONM)
• Rules & Inference
(R&I)
• Semion
Release as
• RESTful services
• Java API
3
Ontology Network Manager
A scope contains (actually is)
an ontology network and
serves a specific purpose
IntegrityCheck
Scope
DBpedia
ontology
Ontologies that are not
changeable, shared with the
other clients
Ontologies that can be modified,
shared with the other clients
Valid Content
ontologies
Private session of a client e.g.
for in-memory operations
DBpedia and
GeoNames
retrieved datasets
4
Rules and Inference Manager
• Support for rules
– Expressed in KReS syntax SWRL compliant
– Executed as SWRL or SPARQL
– Can be executed on a specified scope
• Support for reusable rules through
definition of recipes i.e. sets of rules
• Reasoning support
– Through OWLink interfaces
– HermiT built-in
5
Semion
• Reengineering
– Transformation of non-RDF sources to RDF
– Support for XML and relational DB
• Refactoring
– RDF to RDF based on transformation patterns
(recipes)
6
KReS working Demo at
http://150.146.88.63:9090/kres
http://bit.ly/9AjyEs
7
KReS core: ONM
9
KReS core: R&I
rule management
10
KReS core: R&I
inference engine
11
KReS: Semion refactoring
12
KReS: Semion reengineering
13
KReS services
14