Organizing Capabilities using Formal Concept Analysis

Digital Enterprise Research Institute www.deri.ie
Enabling Networked Knowledge
© Copyright 2011 Digital Enterprise Research Institute. All rights reserved.
Organizing Capabilities using
Formal Concept Analysis
Wassim Derguech, Souleiman Hasan,
Sami Bhiri and Edward Curry
WETICE, Hammamet, Tunisia, 2013

Capability: Informal Definition
• Capability = What an action (Program, Business Process, Task)
does from a functional perspective.
• Synonyms: Business Function, Functionality
• Related terms: Business Goal, Consumer Request
• Central concept in (semantic) information systems
• A service is an access mechanism to a certain capability.
• A Business process is a set of ordered activities aiming to achieve a
business goal.

Problems in SWS description(1/2)
• Service functionalities are described in IOPEs
• Domain-specific functional features cannot be easily defined within
IOPE.
• Example:
“book a package shipping service via telephone”
vs. “book a package shipping service via Internet”
• Cannot define interdependencies between features
• No functionality based service clustering/categorization.
• Clustered based on subsumption relation over IO(PE)s

Problems in SWS description (2/2)
• Example: find services that “delivers a package” in
Programmable Web service repository.
• results under “shipping” category.
Address check
service
Tracking service
Rate query service
Utility services:
customer identification,
payment processing…

Goals
• Define a metamodel for describing capabilities featuring
domain properties
• Organizing capabilities in an optimal way for enhancing
their discovery

Examples of capabilities
• FedexShipment: is a capability for Shipping
• packages under 50 Kg,
• serving certain routes,
• the price depends on the source, destination and the weight of
the package; i.e. different formulas for computing the price based
on other attributes.
• FedexOffer:
• Shipping of a 10Kg Package from Ireland to Singapore on 2013-
06-15 for 200 Dollars.

Capability modelling challenges
• Attribute dependency
• :From and :To attributes are interdependent.
• The :Price attribute depends on the attributes :From, :To and
:Package.
• Dynamic attributes
• The :Price may depend on the current exchange rate or the
company workload.
➔ make it hard if not impossible to model non static and
attribute-interdependent capabilities.

Definition of Structured Entity
• Structured Entity: describing concepts with a set of
(property, value) pairs, a.k.a., property entries.
• SE = {(p1,v1),(p2,v2),…}
• A property value can be an rdf class or instance, if the
value has its own property entries, it is also a SE.
• We consider one mandatory attribute: Action Verb.
• The action verb is a concept from a domain ontology.
It represents all the actions performed in a certain
domain with meronymy relations between them.

Example of capabilities
SensorCap2
ActionVerb = sco:sensing
State =Active
StorageOption =no
DigitalDisplay = sco:LCDScreen
LocationState = Accessible
SensorCap1
State =Active
StorageOption = 1Mo
SensorCap5
State =Active
StorageOption = no
DigitalDisplay = no
LocationState = NotAccessible
SensorCap4
State =NotActive
StorageOption =1Mo
SensorCap3
State =NotActive
StorageOption =1Mo

Formal Concept Analysis
• FCA is a technique that evolved from mathematical
lattice theory used for data analysis.
• A powerful tool for identifying meaningful relationships
within a set of objects that share common attributes.
• It provides a theoretical model to build from a formal
context a partially ordered structure called concept lattice

Formal Context
• A formal context FC is a triplet <X,Y,I>, where X and Y are
non-empty sets and I is a binary relation between X and Y.
Active
Storage
Option
Digital
Display
Accessible
SensorCap1 X X X X
SensorCap2 X X X
SensorCap3 X X X
SensorCap4 X X X
SensorCap5 X
X, the
set of
Objects
Y, the set of Attributes
<x,y> ∈ I
denotes
that the
object x
has the
attribute y

Formal Concept
• A formal concept in <X,Y,I> is a pair <E,I> where E is a
subset of X and I is a subset of Y such that Att(E) = I
and Obj(I) = E.
 A formal concept is created by getting objects from E
sharing the same attributes from I.
Active
Storage
Option
Digital
Display
Accessible
SensorCap1 X X X X
SensorCap2 X X X
SensorCap3 X X X
SensorCap4 X X X
SensorCap5 X

Concept Lattice
• The set of ordered formal concepts derived from a formal
context is called a concept lattice.

Multivalued Attributes (1/2)
Active
Storage
Option
Digital
Display
Accessible
Observed
Phenomenon
SensorCap1 X X X X Energy
SensorCap2 X X X Energy
SensorCap3 X X X Light
SensorCap4 X X X Temperature
SensorCap5 X Motion

Multivalued Attributes (2/2)
Observed Phenomenon
Energy Light Temperature Motion
SensorCap1 X
SensorCap2 X
SensorCap3 X
SensorCap4 X
SensorCap5 X
Scaling

Concept Lattice

Use Case Application
• Real world sensors deployed within the Linked Energy
Intelligence (LEI) dataspace.
• LEI dataspace is has been realized in Digital Enterprise
Research Institute (DERI).
• Sensors deployed:
• 50 energy consumption
• 20 light and heater energy consumption
• 8 temperature and motion detection
• Attributes: Active, Phenomenon Observed, Protocol,
Electricity Phases and Location

LEI – DERI Concept Lattice
The set of all Active sensors
The set of all Motion sensors
The set of all Temperature sensors

Conclusion: Goals
• Define a metamodel for describing capabilities featuring
domain properties
 Structured Entity Meta Model
• Organizing capabilities in an optimal way for enhancing
their discovery
 Formal Concept Analysis

Pros and Cons
• Each Formal Concept represents an Equivalence Class
 e.g. replacement of sensors
• Explicit links between Equivalence Classes
 e.g. Optimise the discovery of a particular sensor
• This approach is not application in case of huge number
of sensors.
• Very difficult to adopt this approach in a highly dynamic
environment.

Future Work
• Define and implement algorithms for updating this indexing
structure
• Investigate scaling operations in case of complex type
• Describe event patterns for complex events
• Provide automation support for creating capabilities

Organizing Capabilities using Formal Concept Analysis

Recomendados

Recomendados

Más contenido relacionado

Destacado

Destacado (7)

Similar a Organizing Capabilities using Formal Concept Analysis

Similar a Organizing Capabilities using Formal Concept Analysis (20)

Último

Último (20)

Organizing Capabilities using Formal Concept Analysis