semantic web constraint language complement and the editor development in protégé 2011.11.09 piao...

Semantic Web Constraint Language complement and the editor develop-

ment in Protégé

2011.11.09

Piao Guangyuan

2

1.Introduction

2.Related Works

3. Semantic Web Constraint Language complement and the edi-tor development in Protégé

Contents

3

1.Introduction1.1. Background of the research1.2. Why this research is needed?1.3. Objectives of the research

2. Related Works


Contents

4 1). Supporting System for Shopping Decision Making based on Semantic Web Constraint Language (2006), Youn, Suk Hee 2). Application of Semantic Web Constraint Language SWCL for Virtual Enterprise (2007), Jeong, Kyunbum

Background of the research

Semantic Web

- The Semantic Web is a "man-made woven web of data" that facili-tates machines to understand the semantics, or meaning, of informa-tion on the World Wide Web

SWCL and the applications

- Semantic Web Constraint Language (SWCL) was proposed in 2006 with the vision of complementing the constraints on data and con-cepts represented by ontology.

- The Application of SWCL for decision making in internet shopping environment was proposed by Youn, Suk Hee1) with an implementa-tion of a shopping agent in the Semantic Web environment in 2006.

- Jeong, Kynbum2) , 2007 proposed to apply SWCL based on OWL to be possible interchanging constraints information among each other in the virtual enterprise and more flexible.

1. Introduction

5

The SWCL Syntax is uncomfortable to read and write

Users need high level of knowledge in OWL

All constraints related to objective are need to be defined manually

It would be a tedious work to deal with expressing many constraints

Difficult to generate and evaluate SWCL as well as inconvenient to users ap-ply it to real problems.

Why this research is needed?

1. Introduction

6

1. Introduction

Objectives

Develop Optimization Modeling Tool to manipulate SWCL simply.

- Developed as a plug-in in Protégé which could reference classes and properties directly.

- Make the generation process of SWCL straightforward.- CRUD functions have been provided to SWCL.

- Adapting Manchester Syntax to write the domain description con-cisely.

7

1.Introduction

2. Related Works2.1. Semantic Web2.2. OWL2.02.3. SWRL2.4. SWCL2.5. Drawbacks of SWCL

3. Semantic Web Constraint Language complement and the edi-

tor development in Protégé

Contents

8

Semantic Web

- The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites.

OWL 2.0

- OWL 2 Web Ontology Language (OWL) is a Semantic Web language designed to represent rich and complex knowledge about things, groups of things, and relations between things.

SWRL

- Semantic Web Rule Language (SWRL) is a language based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language.

Example: hasParent(?x1,?x2) ∧ hasBrother(?x2,?x3) ⇒ hasUn-cle(?x1,?x3)

2. Related works

Semantic Web, OWL 2.0 and SWRL

9

The Purpose of SWCL

- Representing mathematical expressions about constraints in the Se-mantic Web.- OWL and SWRL cannot support what relates mathematical expressions.- SWCL is the extended version of OWL, because of it’s data connection with OWL classes and properties in SWCL expressions.

yVALUEpartOfx

CountryyallforValuepopulationyValuepopulationx ,..

2. Related works

SWCL (Semantic Web Constraint Lan-

guage)

Country Province

xsd:positiveInteger

populationValuepopulationValue

partOf

Fig. 1. Country and province classes and the relation-ship of them

10

Fig. 2. SWCL structure

yVALUEpartOfx

CountryyallforValuepopulationyValuepopulationx ,..

2. Related works

SWCL (Semantic Web Constraint Lan-

guage)

11

)''('':: subjectToobjectiveOptModelOptModel OptModelAxiom ::

)''('':: ermobjectiveTiononInstructoptimizatiObjectiveobjective )'}'{('':: tconstrainsubjectTo

'|''':: MaximizeMinimizeiononInstructoptimizati )'}'{('':: termBlocktermBlockermobjectiveTermsobjectiveT

RHSoperatorLHSqualifierceURIreferentConstraintconstrain (''::)''|('':: riablevariableIDvaQualifierqualifier )''('':: ndescriptioriableIDvaVariableriableva

)''('':: ceURIreferenVariableIDriableIDva )'}'{('':: termBlocktermBlockLHSLHS

'|''|''|''|''|''':: nOrEqualgreaterThangreaterThaEquallessThanOrlessThannotEqualequaloperator )'}'{('':: termBlocktermBlockRHSRHS

)''('':: factorfactorparameterperatoraggregateOsignTermBlocktermBlock '|''':: sign

'|''':: roductionPSigmaperatoraggregateO )''('|')''('':: ropertyIDPdatavaluedriableIDvaFactorropertyIDdatavaluePIDindividualFactorfactor

)''|('':: riablevariableIDvaParameterparameter

2. Related works

SWCL Abstract Syntax

12

<swcl:Constraint rdf:ID=”numberOfPopulation"><swcl:qualifier>

<swcl:Variable rdf:id="y"><swcl:bindingClass rdf:resource="#Country"/>

</swcl:Variable></swcl:qualifier><swcl:hasLHS>

<swcl:TermBlock rdf:ID="termBlock_1"><swcl:sign rdf:resource="&swcl;plus"/><swcl:aggregateOperator rdf:resource="&swcl;Sigma"/><swcl:parameter>

<swcl:Variable rdf:id="x"><rdfs:subClassOf>

<owl:Restriction><owl:onProperty rdf:resource="#partOf"/><owl:hasValue rdf:resource="#y"/>

</owl:Restriction></rdfs:subClassOf>

</swcl:Variable></swcl:parameter><swcl:factor>

<swcl:FactorAtom><swcl:bindingClass rdf:resource="#x"/><swcl:bindingDatatypeProperty rdf:resource="#populationValue"/>

<swcl:FactorAtorm></swcl:factor>

</swcl:TermBlock></swcl:hasLHS><swcl:hasOperator rdf:resource="&swcl;equal"/><swcl:hasRHS>

<swcl:TermBlock rdf:ID="termBlock_2"><swcl:sign rdf:resource="&swcl;plus"/><swcl:factor>

<swcl:FactorAtom><swcl:bindingClass rdf:resource="#y"/><swcl:bindingDatatypeProperty rdf:resource="#populationValue"/>

</swcl:FactorAtom></swcl:factor>

</swcl:TermBlock></swcl:hasRHS>

</swcl:Constraint>

2. Related works

The SWCL Syntax present is difficult to read and write

Users need high level of knowledge in OWL

It would be a tedious work to deal with expressing many constraints

Drawbacks of SWCL

In order to cope with these prob-lems…

13

1.Introduction

2. Related Works


3.1. Architecture of Optimization Modeling Tool using SWCL3.2. SWCL Editor (Constraint Editor)

Contents

14

Ontology-based Optimization Modeling Tool

IBM Ilog Cplex Optimization Studio

Protégé 4.1

Protégé 4.1 API

OWL API

Optimization Model Con-structor

Constraint Editor

User In-terface

Objective Identification

Constraint Identification

Decision Variable Identification

Optimization Model Identifica-tion

Optimization Model-ing Language Trans-lator

OWL/SWCL State-ment

OWL/SWCL State-ment

Ilog State-ment

Ilog State-ment

3.Ontology-based Optimization Modeling Tool using

SWCL Architecture of Optimization Modeling

Tool

15

The constraint editor of OMT which can help users

Manipulate SWCL more straightforward

Create, retrieve, update, delete SWCL easily

Refer to resources in Protégé intuitively

For the reasons, we develop Optimization Modeling Tool as a plug-in of Protégé…


SWCL Constraint Editor

16

Apply Manchester Syntax in variable’s class expressions which is




</swcl:Variable>

Designed to produce a syntax that was concise

Designed for writing OWL class expres-sions

Less verbose, quicker to write and easier to read

Manchester Syntax

- The Manchester OWL syntax is a user-friendly syntax for OWL 2 de-scriptions


SWCL Constraint Editor – Adapting Manchester

Syntax

Fig. 3. Class expression for variable x

17

OWL Constructor DL Syntax Manchester Syntax

intersectionOf C D C AND D

unionOf C D C OR D

complementOf ￢ C NOT C

oneOf {a} {b} {a b…}

someValueFrom ∃ R C R SOME C

allValuesFrom ∀ R C R ONLY C

minCardinality ≥ N R R MIN 3

maxCardinality ≤ N R R MAX 3

Cardinality = N R R EXACTLY 3

hasValue ∃ R {a} R VALUE a

Fig. 4. The Manchester OWL Syntax Class Con-structors

x partOf VALUE ?y




</swcl:Variable>

Constraint Editor – Adapting Manchester

Syntax


SWCL

18


SWCL Constraint Editor – Refer to classes and properties in

Protégé easily

Fig. 5. Screenshot of Protégé

19


SWCL Constraint Editor

Adapting Manchester Syntax

Referring resources in Protégé

Fig. 6. Screenshot of Constriant Editor

20

Optimization Model Constructor – Objective Identification


SWCL

Fig. 7. Screenshot of Objective View

21

Develop Optimization Modeling Tool to manipulate SWCL simply.

- Developed as a plug-in in Protégé which could reference classes and properties directly.

- Make the generation process of SWCL straightforward.- CRUD functions have been provided to SWCL.

- Adapting Manchester Syntax to write the domain description con-cisely.

5. Conclusion

22

Q & A

semantic web constraint language complement and the editor development in protégé 2011.11.09 piao...

Documents