semantic web constraint language complement and the editor development in protégé 2011.11.09 piao...
TRANSCRIPT
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
3. Semantic Web Constraint Language complement and the edi-tor development in Protégé
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. Semantic Web Constraint Language complement and the edi-tor development in Protégé
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é…
3.Ontology-based Optimization Modeling Tool using
SWCL Constraint Editor
16
Apply Manchester Syntax in variable’s class expressions which is
<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>
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
3.Ontology-based Optimization Modeling Tool using
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 rdf:id="x"><rdfs:subClassOf>
<owl:Restriction><owl:onProperty rdf:resource="#partOf"/><owl:hasValue rdf:resource="#y"/>
</owl:Restriction></rdfs:subClassOf>
</swcl:Variable>
Constraint Editor – Adapting Manchester
Syntax
3.Ontology-based Optimization Modeling Tool using
SWCL
18
3.Ontology-based Optimization Modeling Tool using
SWCL Constraint Editor – Refer to classes and properties in
Protégé easily
Fig. 5. Screenshot of Protégé
19
3.Ontology-based Optimization Modeling Tool using
SWCL Constraint Editor
Adapting Manchester Syntax
Referring resources in Protégé
Fig. 6. Screenshot of Constriant Editor
20
Optimization Model Constructor – Objective Identification
3.Ontology-based Optimization Modeling Tool using
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