Nabble - w3.org - public-owl-dev

Application Ontology

2009-11-06T05:52:56Z

Hi!

I've been doing my master degree research and it includes the use of domain ontology and application ontology. I've found a lot of owl examples of domain ontology, but I can't find application ontology owl axamples. Someone knows where may I find some application ontology owl file to guide me in my research?

Thanks!

Best Regards.

Daniel Cintra Cugler
Lince - Laboratory for Innovation on Computing and Engineering
DC - UFSCar - Brazil
Skype name: daniel.cintra.cugler

Veja quais são os assuntos do momento no Yahoo! + Buscados: Top 10 - Celebridades - Música - Esportes

Re: How to query items of a Sequence ?

2009-11-05T13:00:00Z

Doh! I've been caught up in function extensions recently, and totally
forgot that this can be done with base SPARQL. See below...

On Thu, Nov 5, 2009 at 3:00 PM, Paul Gearon <gearon@...> wrote:

> If you don't have an entailment regime, then you can also try to
> filter by the structure of the predicate, but you need function
> extensions if your triplestore to handle that. For instance, on many
> triplestores you could do:
>
> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
> SELECT ?sequence ?predicate ?element
> WHERE {
> ?sequence rdf:type rdf:Seq .
> ?sequence ?predicate ?element .
> FILTER fn:starts-with( str(?predicate),
> "http://www.w3.org/1999/02/22-rdf-syntax-ns#_")
> }
>
> The problem with this approach is that not every SPARQL endpoint
> handles this function (yet), or they have similar though differently
> named functions. Also, doing these string comparisons could get
> expensive if you had a lot of data to return.

The better approach is to use regex.

FILTER regex(str(?predicate),
"^http://www.w3.org/1999/02/22-rdf-syntax-ns#_\d+$")

This has the added advantage of ensuring that only numbers are used at
the end of the URI (this should be the case, but it's conceivable that
someone could write bad URIs). Thanks to Andy Seaborne for pointing
out my shortcomings. :-)

Regards,
Paul Gearon

Re: How to query items of a Sequence ?

2009-11-05T12:00:59Z

Hi Etienne,

This is an RDF and SPARQL issue, and not really appropriate for an OWL
list. This is especially so, given that most of the OWL community are
against the use of Containers (especially the DL folks).

I recommend mailing lists such as semantic-web@..., or possibly
www-rdf-interest@....

But since I'm here....

On Tue, Nov 3, 2009 at 4:48 PM, Etienne Morency
<etienne.morency@...> wrote:
> Hi everyone,
>
> We are using sequences in our project and we are having difficulties finding
> a way to query our ontology to get all items of a sequence using SPARQL.

I mentioned that containers (including sequences) are not encouraged
by the OWL community. While I expect to see them used in general RDF,
I'm a little surprised to see them in a system described by OWL. I'm
sure there are a few people here willing to discuss this design
decision with you, but I'll just press ahead with your question. After
all, querying members of collections is just as awkward with SPARQL
1.0. :-)

> The sequence in our ontology looks like this :
>
> <rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
>
> <rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
>     <rdf:_1 rdf:resource="http://www.url.com/someonto.owl#314"/>
> </rdf:Description>
>
> <rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
>     <rdf:_2 rdf:resource="http://www.url.com/someonto.owl#194"/>
> </rdf:Description>
>
> <rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
>     <rdf:_3 rdf:resource="http://www.url.com/someonto.owl#GENERIC_113"/>
> </rdf:Description>
>
> We are able to find the sequence "http://www.url.com/someonto.owl#1317" with
> the following query :
> SELECT ?sequence WHERE { ?sequence <" + RDF.TYPE + "> <" + RDF.SEQ + "> }
>
> But is there a way to have a query that will return the items _1, _2 and _3
> directly ?

First off, since you have a sequence, you'd often want to know what
the first thing is, the second thing is, etc, and you can select these
out just by referring to the predicates rdf:_1, rdf:_2, and so on. But
it looks like you want to get everything, so directly mentioning the
predicates won't help.

If you have RDFS entailments available, you can ask for the
rdfs:member property, since all rdf:_n are subproperties of this:

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?sequence ?element
WHERE { ?sequence rdf:type rdf:Seq . ?sequence rdfs:member ?element }

However, this loses your ordering. You can try to get the associated
predicate (add {?sequence ?pred ?element} and remove the rdfs:member
elements via OPTIONAL/!BOUND), but the SPARQL gets messy and we
haven't even established if you have entailment available.

If you don't have an entailment regime, then you can also try to
filter by the structure of the predicate, but you need function
extensions if your triplestore to handle that. For instance, on many
triplestores you could do:

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
SELECT ?sequence ?predicate ?element
WHERE {
?sequence rdf:type rdf:Seq .
?sequence ?predicate ?element .
FILTER fn:starts-with( str(?predicate),
"http://www.w3.org/1999/02/22-rdf-syntax-ns#_")
}

The problem with this approach is that not every SPARQL endpoint
handles this function (yet), or they have similar though differently
named functions. Also, doing these string comparisons could get
expensive if you had a lot of data to return.

Regards,
Paul Gearon

Re: questions about the topObjectProperty

2009-11-05T09:39:54Z

2009/11/5 Wael Yehia <wmyehia2001@...>

Hello everyone,
I'm trying to use some reasoner that supports OWL 2, fully, and I'm particularly interested in being able to reason with the Universal Role (represented by the topObjectProperty), the role that relates every pair of individuals in the domain.
Now, I noticed that Protege 4.0 does not have a keyword for topObjectProperty or at least it is not predefined and appear at the root of the property hierarchy, the way the Thing (top) concept is predefined and is at the root of the concept hierarchy. Maybe because protege 4.0 doesn't support OWL 2 fully yet.

Protege 4.0 is not really OWL 2 ready. You would need Protege 4.1, which is not yet officially released. We just released HermiT 1.1 and from the HermiT website, you can also get a compiled version of Protege 4.1 (no support and no guarantee that it is working, it is not an official Protege release).

And creating a new property with the 'topObjectProperty' name won't make it the topObjectProperty that we need but just some another property, because by looking at the rdf output when you save the ontology you'll see that the topObjectProperty that you defined is prefixed with your ontology's name and not the 'owl:' prefix which is presumably the right one.

Yes, without the owl prefix it is not really the top property.

I wrote some test cases manually, this is one of them in First Order Logic (FOL):
(\forall x.F(x)) \and \not (\exist x.F(x))

That can directly be expressed as a DL axiom:
SubClassOf(owl:Thing :F)
SubClassOf(owl:Thing ObjectComplementOf(:F))
in other syntax
top implies F
top implies not F
(I used two axioms because in your example the two x are not really the same, you could rename one into y due to the quantifier scope)

which is equal to: \forall x.False

not equal, but it follows

I am not sure if this formula is satisfiable, maybe if the domain is empty.

The domain is required to be non-empty, so it is unsatisfiable.

But it can be translated to Description Logic (DL) using the Universal Role (topObjectProperty) and becomes
\forall U. Bot
or in manchester syntax:
topObjectProperty only Nothing

No need for the top role, as said above. All axioms apply to all individuals, they can be seen as usiversally quantified.
If you use the top object property, your domain can still have one element, but that element cannot have a successor. The ontology is still satisfiable though.

Now, my concern is that I'm not 100% sure that I'm expressing the formula in RDF syntax (which i will show below) correctly, and therefore don't know how Hermit 1.0 (which claims that it supports OWL 2) is understanding it.

HermiT understands what you say, but you probably don't want to use the top object property.

So, if anyone knows whether this is correct syntax, or knows anything about Hermit's reasoning capabilities with topObjectProperty, then any advice or hints are greatly appreciated.

HermiT supports indeed all of OWL 2 including owl:topObjectProperty.

This is my RDF syntax ontology, I don't know if I should include parts of it here or all of it, so I decide to put it all here, and please note that I cheated a bit and used protege to output it for me and then i manually changed the occurrences of topobjectproperty with two version of my own:
1) #TopObjectProperty .... I tried this one because protege shows it as a super property of any new property you create so I thought maybe it recognizes it this way
2) owl:topObjectProperty

only the second one is the top object property. The first one is just a normal property for HermiT.

This is the RDF ontology:

<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
    <!ENTITY owl2 "owl:" >
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3..org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY O3 "http://www.semanticweb.org/ontologies/2009/9/O3.owl#" >
]>
<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2009/9/O3.owl#"
     xml:base="http://www.semanticweb.org/ontologies/2009/9/O3.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl2="owl:"
     xmlns:O3="http://www.semanticweb.org/ontologies/2009/9/O3.owl#">
    <owl:Ontology rdf:about=""/>

    

    
    <owl:ObjectProperty rdf:about="#TopObjectProperty"/>

    
    <owl:ObjectProperty rdf:about="owl:topObjectProperty"/>

    

    
    <owl:Class rdf:about="#A"/>

    
    <owl:Class rdf:about="#Last">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Restriction>
                                <owl:onProperty rdf:resource="#TopObjectProperty"/>
                                <owl:someValuesFrom rdf:resource="#b"/>
                            </owl:Restriction>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="#TopObjectProperty"/>
                        <owl:allValuesFrom rdf:resource="#b"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>


    

    <owl:Class rdf:about="#b">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="#A"/>
                    <rdf:Description rdf:about="&owl;Thing"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>


    

    <owl:Class rdf:about="#c">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Restriction>
                                <owl:onProperty rdf:resource="owl:topObjectProperty"/>
                                <owl:someValuesFrom rdf:resource="#b"/>
                            </owl:Restriction>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="owl:topObjectProperty"/>
                        <owl:allValuesFrom rdf:resource="#b"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>

    

    <owl:Class rdf:about="&owl;Thing"/>
</rdf:RDF>

In your ontology instances of the class C cannot have any successors (there you used the real top property) and instances of class Last cannot have any http://www.semanticweb.org/ontologies/2009/9/O3.owl#TopObjectProperty successor, but can have other successors.

finally, I was wondering if there is a formula containing a topObjectProperty that is, say unsatisfiable, and if all occurences of topObjectProperty are substituted by another property R, then it becomes satisfiable. So, what I 'm asking is if there's an example which clearly shows the distinction between a topObjectProperty and an ordinary property, also I'm interested in logic (or maybe DL) based satisfiability, and not satisfiability based on domain, range or something else.

I was told that domain closure formulas such as \forall x.(F(x) <=> (x=a | x=b)), can be used to distinguish between the topObjectProperty and other properties, so this formula should be unsatisfiable:
C(a) & C(b) & \forall x (C(x) <=> x=a)

This just implies a=b, unless you have unique name assumption.

which is equivalent to:
       Ex.(C(x) & x=a) & Ex.(C(x) & x=b) & Ax.( (C(x) & x=a) | (~C(x) & ~x=a) )
So I translated them to a DL called ALCO+U, which allows nominals and the Universal Role, using the translation:
       Ex.C(x)     becomes in DL   \exist U. C
       Ax.C(x)     becomes in DL   \forall U. C
where U is the universal role.

Again, no need for the universal role:
C(a)
C(b)
C equals {a}
in functional style syntax
ClassAssertion(C a)
ClassAssertion(C b)
EquivalentClasses(C ObjectOneOf(a))

And the other translations are straightforward, such as   x=a becomes {a}, and so on..
Also, we assumed Unique Names Axioms in the above formula, but we need to explicitly mention that in OWL 2, so I used the DifferentIndividuals axiom to say that 'a' and 'b' are different individuals.
This is that formula in Manchester Syntax:
            topObjectProperty some (C and {a})
              and topObjectProperty some (C and {b})
              and topObjectProperty only ((not C) or {a})

So, after saying that 'a' and 'b' are distinct individuals, the formula is found unsatisfiable, which is correct, but when replacing topObjectProperty with another property, say R, the unsatisfiablility stays, which after some thinking I found it correct too. So this result made me write this email to ask for advice about whether the topObjectProperty can be distinguished from another role R using purely FOL semantics.

Well, it can be axiomatised, so you can replace the top object property by a fresh property and add a couple of axioms (the fresh property is a super property of all other axioms, etc.) and you have the same effect.

You should use the top object property sparsely, because it can be computationally expensive and in all your examples it was not needed and rather the result of a wrong translation, so I suggest you read more about OWL semantics and maybe its relation to FOL. Maybe the OWL primer is helpful:
http://www.w3.org/TR/owl2-primer/

Best regards,
Birte

Thank you.

Wael

--
Dr. Birte Glimm, Room 306
Computing Laboratory
Parks Road
Oxford
OX1 3QD
United Kingdom
+44 (0)1865 283529

Re: questions about the topObjectProperty

2009-11-05T09:38:17Z

I hope that this post is not misplaced but I thought I would give some
context about the Protege reference. Protege 4.0 is currently in
transition and does not fully support OWL 2.0. Roughly speaking
Protege 4.0 supports OWL 1.1. Protege 4.1, which will be released as
an early alpha soon, does support OWL 2.0 and works with Hermit.

-Timothy

On Nov 4, 2009, at 7:30 PM, Wael Yehia wrote:

> Hello everyone,
> I'm trying to use some reasoner that supports OWL 2, fully, and
> I'm particularly interested in being able to reason with the
> Universal Role (represented by the topObjectProperty), the role that
> relates every pair of individuals in the domain.
> Now, I noticed that Protege 4.0 does not have a keyword for
> topObjectProperty or at least it is not predefined and appear at the
> root of the property hierarchy, the way the Thing (top) concept is
> predefined and is at the root of the concept hierarchy. Maybe
> because protege 4.0 doesn't support OWL 2 fully yet. And creating a
> new property with the 'topObjectProperty' name won't make it the
> topObjectProperty that we need but just some another property,
> because by looking at the rdf output when you save the ontology
> you'll see that the topObjectProperty that you defined is prefixed
> with your ontology's name and not the 'owl:' prefix which is
> presumably the right one.
> I wrote some test cases manually, this is one of them in First Order
> Logic (FOL):
> (\forall x.F(x)) \and \not (\exist x.F(x))
> which is equal to: \forall x.False
> I am not sure if this formula is satisfiable, maybe if the domain is
> empty. But it can be translated to Description Logic (DL) using the
> Universal Role (topObjectProperty) and becomes
> \forall U. Bot
> or in manchester syntax:
> topObjectProperty only Nothing
>
> Now, my concern is that I'm not 100% sure that I'm expressing the
> formula in RDF syntax (which i will show below) correctly, and
> therefore don't know how Hermit 1.0 (which claims that it supports
> OWL 2) is understanding it. So, if anyone knows whether this is
> correct syntax, or knows anything about Hermit's reasoning
> capabilities with topObjectProperty, then any advice or hints are
> greatly appreciated. This is my RDF syntax ontology, I don't know if
> I should include parts of it here or all of it, so I decide to put
> it all here, and please note that I cheated a bit and used protege
> to output it for me and then i manually changed the occurrences of
> topobjectproperty with two version of my own:
> 1) #TopObjectProperty .... I tried this one because protege shows
> it as a super property of any new property you create so I thought
> maybe it recognizes it this way
> 2) owl:topObjectProperty
>
> This is the RDF ontology:
>
>
> <?xml version="1.0"?>
> <!DOCTYPE rdf:RDF [
> <!ENTITY owl2 "owl:" >
> <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
> <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
> <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
> <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
> <!ENTITY rdf "http://www.w3..org/1999/02/22-rdf-syntax-ns#" >
> <!ENTITY O3 "http://www.semanticweb.org/ontologies/2009/9/
> O3.owl#" >
> ]>
> <rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2009/9/O3.owl#"
> xml:base="http://www.semanticweb.org/ontologies/2009/9/O3.owl"
> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
> xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
> xmlns:owl="http://www.w3.org/2002/07/owl#"
> xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
> xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
> xmlns:owl2="owl:"
> xmlns:O3="http://www.semanticweb.org/ontologies/2009/9/O3.owl#">
> <owl:Ontology rdf:about=""/>
>
> 
>
> 
> <owl:ObjectProperty rdf:about="#TopObjectProperty"/>
>
> 
> <owl:ObjectProperty rdf:about="owl:topObjectProperty"/>
>
> 
>
> 
> <owl:Class rdf:about="#A"/>
>
> 
> <owl:Class rdf:about="#Last">
> <owl:equivalentClass>
> <owl:Class>
> <owl:intersectionOf rdf:parseType="Collection">
> <owl:Class>
> <owl:complementOf>
> <owl:Restriction>
> <owl:onProperty
> rdf:resource="#TopObjectProperty"/>
> <owl:someValuesFrom
> rdf:resource="#b"/>
> </owl:Restriction>
> </owl:complementOf>
> </owl:Class>
> <owl:Restriction>
> <owl:onProperty
> rdf:resource="#TopObjectProperty"/>
> <owl:allValuesFrom rdf:resource="#b"/>
> </owl:Restriction>
> </owl:intersectionOf>
> </owl:Class>
> </owl:equivalentClass>
> </owl:Class>
>
>
>
> 
>
> <owl:Class rdf:about="#b">
> <owl:equivalentClass>
> <owl:Class>
> <owl:intersectionOf rdf:parseType="Collection">
> <rdf:Description rdf:about="#A"/>
> <rdf:Description rdf:about="&owl;Thing"/>
> </owl:intersectionOf>
> </owl:Class>
> </owl:equivalentClass>
> </owl:Class>
>
>
>
> 
>
> <owl:Class rdf:about="#c">
> <owl:equivalentClass>
> <owl:Class>
> <owl:intersectionOf rdf:parseType="Collection">
> <owl:Class>
> <owl:complementOf>
> <owl:Restriction>
> <owl:onProperty
> rdf:resource="owl:topObjectProperty"/>
> <owl:someValuesFrom
> rdf:resource="#b"/>
> </owl:Restriction>
> </owl:complementOf>
> </owl:Class>
> <owl:Restriction>
> <owl:onProperty
> rdf:resource="owl:topObjectProperty"/>
> <owl:allValuesFrom rdf:resource="#b"/>
> </owl:Restriction>
> </owl:intersectionOf>
> </owl:Class>
> </owl:equivalentClass>
> </owl:Class>
>
> 
>
> <owl:Class rdf:about="&owl;Thing"/>
> </rdf:RDF>
> 
>
>
>
>
>
> finally, I was wondering if there is a formula containing a
> topObjectProperty that is, say unsatisfiable, and if all occurences
> of topObjectProperty are substituted by another property R, then it
> becomes satisfiable. So, what I 'm asking is if there's an example
> which clearly shows the distinction between a topObjectProperty and
> an ordinary property, also I'm interested in logic (or maybe DL)
> based satisfiability, and not satisfiability based on domain, range
> or something else.
> I was told that domain closure formulas such as \forall x.(F(x) <=>
> (x=a | x=b)), can be used to distinguish between the
> topObjectProperty and other properties, so this formula should be
> unsatisfiable:
> C(a) & C(b) & \forall x (C(x) <=> x=a)
> which is equivalent to:
> Ex.(C(x) & x=a) & Ex.(C(x) & x=b) & Ax.( (C(x) & x=a) |
> (~C(x) & ~x=a) )
> So I translated them to a DL called ALCO+U, which allows nominals
> and the Universal Role, using the translation:
> Ex.C(x) becomes in DL \exist U. C
> Ax.C(x) becomes in DL \forall U. C
> where U is the universal role. And the other translations are
> straightforward, such as x=a becomes {a}, and so on..
> Also, we assumed Unique Names Axioms in the above formula, but we
> need to explicitly mention that in OWL 2, so I used the
> DifferentIndividuals axiom to say that 'a' and 'b' are different
> individuals.
> This is that formula in Manchester Syntax:
> topObjectProperty some (C and {a})
> and topObjectProperty some (C and {b})
> and topObjectProperty only ((not C) or {a})
>
> So, after saying that 'a' and 'b' are distinct individuals, the
> formula is found unsatisfiable, which is correct, but when replacing
> topObjectProperty with another property, say R, the
> unsatisfiablility stays, which after some thinking I found it
> correct too. So this result made me write this email to ask for
> advice about whether the topObjectProperty can be distinguished from
> another role R using purely FOL semantics.
>
> Thank you.
>
> Wael
>

questions about the topObjectProperty

2009-11-04T19:31:35Z

Hello everyone,
I'm trying to use some reasoner that supports OWL 2, fully, and I'm particularly interested in being able to reason with the Universal Role (represented by the topObjectProperty), the role that relates every pair of individuals in the domain.
Now, I noticed that Protege 4.0 does not have a keyword for topObjectProperty or at least it is not predefined and appear at the root of the property hierarchy, the way the Thing (top) concept is predefined and is at the root of the concept hierarchy. Maybe because protege 4.0 doesn't support OWL 2 fully yet. And creating a new property with the 'topObjectProperty' name won't make it the topObjectProperty that we need but just some another property, because by looking at the rdf output when you save the ontology you'll see that the topObjectProperty that you defined is prefixed with your ontology's name and not the 'owl:' prefix which is presumably the right one.
I wrote some test cases manually, this is one of them in First Order Logic (FOL):
(\forall x.F(x)) \and \not (\exist x.F(x))
which is equal to: \forall x.False
I am not sure if this formula is satisfiable, maybe if the domain is empty. But it can be translated to Description Logic (DL) using the Universal Role (topObjectProperty) and becomes
\forall U. Bot
or in manchester syntax:
topObjectProperty only Nothing

Now, my concern is that I'm not 100% sure that I'm expressing the formula in RDF syntax (which i will show below) correctly, and therefore don't know how Hermit 1.0 (which claims that it supports OWL 2) is understanding it. So, if anyone knows whether this is correct syntax, or knows anything about Hermit's reasoning capabilities with topObjectProperty, then any advice or hints are greatly appreciated. This is my RDF syntax ontology, I don't know if I should include parts of it here or all of it, so I decide to put it all here, and please note that I cheated a bit and used protege to output it for me and then i manually changed the occurrences of topobjectproperty with two version of my own:
1) #TopObjectProperty .... I tried this one because protege shows it as a super property of any new property you create so I thought maybe it recognizes it this way
2) owl:topObjectProperty

This is the RDF ontology:

<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
<!ENTITY owl2 "owl:" >
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
<!ENTITY O3 "http://www.semanticweb.org/ontologies/2009/9/O3.owl#" >
]>
<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2009/9/O3.owl#"
xml:base="http://www.semanticweb.org/ontologies/2009/9/O3.owl"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl2="owl:"
xmlns:O3="http://www.semanticweb.org/ontologies/2009/9/O3.owl#">
<owl:Ontology rdf:about=""/>




<owl:ObjectProperty rdf:about="#TopObjectProperty"/>


<owl:ObjectProperty rdf:about="owl:topObjectProperty"/>




<owl:Class rdf:about="#A"/>


<owl:Class rdf:about="#Last">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#TopObjectProperty"/>
<owl:someValuesFrom rdf:resource="#b"/>
</owl:Restriction>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="#TopObjectProperty"/>
<owl:allValuesFrom rdf:resource="#b"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>



<owl:Class rdf:about="#b">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="#A"/>
<rdf:Description rdf:about="&owl;Thing"/>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>



<owl:Class rdf:about="#c">
<owl:equivalentClass>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:complementOf>
<owl:Restriction>
<owl:onProperty rdf:resource="owl:topObjectProperty"/>
<owl:someValuesFrom rdf:resource="#b"/>
</owl:Restriction>
</owl:complementOf>
</owl:Class>
<owl:Restriction>
<owl:onProperty rdf:resource="owl:topObjectProperty"/>
<owl:allValuesFrom rdf:resource="#b"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</owl:equivalentClass>
</owl:Class>



<owl:Class rdf:about="&owl;Thing"/>
</rdf:RDF>


finally, I was wondering if there is a formula containing a topObjectProperty that is, say unsatisfiable, and if all occurences of topObjectProperty are substituted by another property R, then it becomes satisfiable. So, what I 'm asking is if there's an example which clearly shows the distinction between a topObjectProperty and an ordinary property, also I'm interested in logic (or maybe DL) based satisfiability, and not satisfiability based on domain, range or something else.
I was told that domain closure formulas such as \forall x.(F(x) <=> (x=a | x=b)), can be used to distinguish between the topObjectProperty and other properties, so this formula should be unsatisfiable:
C(a) & C(b) & \forall x (C(x) <=> x=a)
which is equivalent to:
Ex.(C(x) & x=a) & Ex.(C(x) & x=b) & Ax.( (C(x) & x=a) | (~C(x) & ~x=a) )
So I translated them to a DL called ALCO+U, which allows nominals and the Universal Role, using the translation:
Ex.C(x) becomes in DL \exist U. C
Ax.C(x) becomes in DL \forall U. C
where U is the universal role. And the other translations are straightforward, such as x=a becomes {a}, and so on..
Also, we assumed Unique Names Axioms in the above formula, but we need to explicitly mention that in OWL 2, so I used the DifferentIndividuals axiom to say that 'a' and 'b' are different individuals.
This is that formula in Manchester Syntax:
topObjectProperty some (C and {a})
and topObjectProperty some (C and {b})
and topObjectProperty only ((not C) or {a})

So, after saying that 'a' and 'b' are distinct individuals, the formula is found unsatisfiable, which is correct, but when replacing topObjectProperty with another property, say R, the unsatisfiablility stays, which after some thinking I found it correct too. So this result made me write this email to ask for advice about whether the topObjectProperty can be distinguished from another role R using purely FOL semantics.

Thank you.

Wael

questions about the topObjectProperty

2009-11-04T19:30:58Z

Hello everyone,
    I'm trying to use some reasoner that supports OWL 2, fully, and I'm particularly interested in being able to reason with the Universal Role (represented by the topObjectProperty), the role that relates every pair of individuals in the domain.
    Now, I noticed that Protege 4.0 does not have a keyword for topObjectProperty or at least it is not predefined and appear at the root of the property hierarchy, the way the Thing (top) concept is predefined and is at the root of the concept hierarchy. Maybe because protege 4.0 doesn't support OWL 2 fully yet. And creating a new property with the 'topObjectProperty' name won't make it the topObjectProperty that we need but just some another property, because by looking at the rdf output when you save the ontology you'll see that the topObjectProperty that you defined is prefixed with your ontology's name and not the 'owl:' prefix which is presumably the right one.
I wrote some test cases manually, this is one of them in First Order Logic (FOL):
              (\forall x.F(x))    \and    \not (\exist x.F(x))
which is equal to:    \forall x.False
I am not sure if this formula is satisfiable, maybe if the domain is empty. But it can be translated to Description Logic (DL) using the Universal Role (topObjectProperty) and becomes
              \forall U. Bot
or in manchester syntax:
              topObjectProperty only Nothing

Now, my concern is that I'm not 100% sure that I'm expressing the formula in RDF syntax (which i will show below) correctly, and therefore don't know how Hermit 1.0 (which claims that it supports OWL 2) is understanding it. So, if anyone knows whether this is correct syntax, or knows anything about Hermit's reasoning capabilities with topObjectProperty, then any advice or hints are greatly appreciated. This is my RDF syntax ontology, I don't know if I should include parts of it here or all of it, so I decide to put it all here, and please note that I cheated a bit and used protege to output it for me and then i manually changed the occurrences of topobjectproperty with two version of my own:
1) #TopObjectProperty    .... I tried this one because protege shows it as a super property of any new property you create so I thought maybe it recognizes it this way
2) owl:topObjectProperty

This is the RDF ontology:

<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
    <!ENTITY owl2 "owl:" >
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3..org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY O3 "http://www.semanticweb.org/ontologies/2009/9/O3.owl#" >
]>
<rdf:RDF xmlns="http://www.semanticweb.org/ontologies/2009/9/O3.owl#"
     xml:base="http://www.semanticweb.org/ontologies/2009/9/O3.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl2="owl:"
     xmlns:O3="http://www.semanticweb.org/ontologies/2009/9/O3.owl#">
    <owl:Ontology rdf:about=""/>

    

    
    <owl:ObjectProperty rdf:about="#TopObjectProperty"/>

    
    <owl:ObjectProperty rdf:about="owl:topObjectProperty"/>

    

    
    <owl:Class rdf:about="#A"/>

    
    <owl:Class rdf:about="#Last">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Restriction>
                                <owl:onProperty rdf:resource="#TopObjectProperty"/>
                                <owl:someValuesFrom rdf:resource="#b"/>
                            </owl:Restriction>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="#TopObjectProperty"/>
                        <owl:allValuesFrom rdf:resource="#b"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>


    

    <owl:Class rdf:about="#b">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="#A"/>
                    <rdf:Description rdf:about="&owl;Thing"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>


    

    <owl:Class rdf:about="#c">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class>
                        <owl:complementOf>
                            <owl:Restriction>
                                <owl:onProperty rdf:resource="owl:topObjectProperty"/>
                                <owl:someValuesFrom rdf:resource="#b"/>
                            </owl:Restriction>
                        </owl:complementOf>
                    </owl:Class>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="owl:topObjectProperty"/>
                        <owl:allValuesFrom rdf:resource="#b"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>

    

    <owl:Class rdf:about="&owl;Thing"/>
</rdf:RDF>


finally, I was wondering if there is a formula containing a topObjectProperty that is, say unsatisfiable, and if all occurences of topObjectProperty are substituted by another property R, then it becomes satisfiable. So, what I 'm asking is if there's an example which clearly shows the distinction between a topObjectProperty and an ordinary property, also I'm interested in logic (or maybe DL) based satisfiability, and not satisfiability based on domain, range or something else.
I was told that domain closure formulas such as \forall x.(F(x) <=> (x=a | x=b)), can be used to distinguish between the topObjectProperty and other properties, so this formula should be unsatisfiable:
       C(a) & C(b) & \forall x (C(x) <=> x=a)
which is equivalent to:
       Ex.(C(x) & x=a) & Ex.(C(x) & x=b) & Ax.( (C(x) & x=a) | (~C(x) & ~x=a) )
So I translated them to a DL called ALCO+U, which allows nominals and the Universal Role, using the translation:
       Ex.C(x)     becomes in DL   \exist U. C
       Ax.C(x)     becomes in DL   \forall U. C
where U is the universal role. And the other translations are straightforward, such as   x=a becomes {a}, and so on..
Also, we assumed Unique Names Axioms in the above formula, but we need to explicitly mention that in OWL 2, so I used the DifferentIndividuals axiom to say that 'a' and 'b' are different individuals.
This is that formula in Manchester Syntax:
            topObjectProperty some (C and {a})
              and topObjectProperty some (C and {b})
              and topObjectProperty only ((not C) or {a})

So, after saying that 'a' and 'b' are distinct individuals, the formula is found unsatisfiable, which is correct, but when replacing topObjectProperty with another property, say R, the unsatisfiablility stays, which after some thinking I found it correct too. So this result made me write this email to ask for advice about whether the topObjectProperty can be distinguished from another role R using purely FOL semantics.

Thank you.

Wael

3rd CFP Agent-Directed Simulation, April 12-14, 2010, Orlando, Florida

2009-11-04T09:22:50Z

===============================================================
CALL FOR PAPERS and POSTERS
Agent-Directed Simulation Symposium (ADS'10)
Orlando, Florida, USA
April 12-14, 2010

http://www.site.uottawa.ca/~oren/conf-org/ADS_2010/ADS-CFP.htm
Manuscript Submission: November 30, 2009.

Sponsored by The Society for Modeling and Simulation
International (SCS) in collaboration with ACM/SIGSIM.
==============================================================

As part of the 2010 Spring Simulation Multi-conference (SpringSim'10)
http://www.scs.org/confernc/springsim/springsim10/springsim10.htm

the 2010 Agent-Directed Simulation Symposium is a premier platform to
explore all three aspects of the synergy of simulation and agent
technologies. Hence, it has a special place within simulation and
agent conferences, including agent-based (social) simulation
conferences. Therefore the ADS symposium fills a gap in the agent
community as well as the simulation community.

The purpose of the ADS symposium is to facilitate dissemination of the
most recent advancements in the theory, methodology, application, and
toolkits of agent-directed simulation. Agent-directed simulation is
comprehensive in the integration of agent and simulation technologies,
by including models that use agents to develop domain-specific
simulations, i.e., agent simulation (this is often referred to as
agent-based simulation -when other two important aspects are not
considered), and by also including the use of agent technology to
develop simulation techniques and toolkits that are subsequently
applied, either with or without agents.

Hence, agent-directed simulation consists of three distinct, yet
related areas that can be grouped under two categories as follows:

1. Simulation for Agents (agent simulation): simulation of agent
systems in engineering, human and social dynamics, military
applications etc.
2. Agents for Simulation (which has two aspects): agent-supported
simulation deals with the use of agents as a support facility to
enable computer assistance in problem solving or enhancing
cognitive capabilities; and agent-based simulation that focuses
on the use of agents for the generation of model behavior in a
simulation study.

Through the theme of agent-directed simulation, the symposium will
bring together agent technologies, tools, toolkits, platforms,
languages, methodologies, and applications in a pragmatic manner. In
this symposium, established researchers, educators, and students are
encouraged to come together and discuss the benefits of agent
technology in their use and application for simulation. It is a way
for people to discuss why and how they have used agent technology in
their simulations, and describe the benefit of having done so.

The theme of ADS'10 is based on the observation of the following
premises.

* The growth of new advanced distributed computing standards along
with the rapid rise of e-commerce are providing a new context that
acts as a critical driver for the development of next generation
systems. These standards revolve around service-oriented
technologies, pervasive computing, web-services, Grid, autonomic
computing, ambient intelligence etc. The supporting role that
intelligent agents play in the development of such systems is
becoming pervasive, and simulation plays a critical role in the
analysis and design of such systems.

* The use of emergent agent technologies at the organization,
interaction (e.g., coordination, negotiation, communication) and
agent levels (i.e. reasoning, autonomy) are expected to advance
the state of the art in various application technologies is
difficult. Using agent-supported simulation techniques for
testing complex agent systems is up and coming field.

* To facilitate bridging the gap between research and application,
there is a need for tools, agent programming languages, and
methodologies to analyze, design, and implement complex,
non-trivial agent-based simulations. Existing agent-based
simulation tools are still not mature enough to enable developing
agents with varying degrees cognitive and reasoning capabilities.

ADS'10 will provide a leading forum to bring together researchers and
practitioners from diverse simulation societies within computer science,
social sciences, engineering, business, education, human factors, and
systems engineering. The involvement of various agent-directed
simulation groups will enable the cross-fertilization of ideas and
development of new perspectives by fostering novel advanced solutions,
as well as enabling technologies for agent-directed simulation

AUTHOR GUIDE

* Technical papers provide a longer format for presenting experience
reports, research results, or descriptions of "work in progress".
They are limited to 8 pages.

* Short position papers are targeted at raising a question or framing
an issue for discussion during the symposium. Position papers are
limited to 3 pages.

* Poster presentations present an opportunity to present work in
progress and receive feedback from colleagues. A one page write-up
of the poster presentations will be included in the proceedings.

(For all, required font sizes are: min 10 pt for text and min 9 pt for
figures or references).

Papers should be submitted electronically to
http://www.softconf.com/scs/ADS10/ .
All papers will be subject to a peer-reviewing process by three program
committee members. (Please see the key dates listed below.)

FINAL PAPER SUBMISSION GUIDELINES

All prospective authors, whose papers are accepted for inclusion in the
program, will be invited to submit their position or technical papers
to ADS'10. Accepted and registered papers will be published in the
conference proceedings by the SCS. In addition, the committee will
select a set of best papers. Authors of these papers will be encouraged to
submit appropriately expanded versions of these papers for journal
publication.

KEY DATES
Nov 30, 2009: Manuscript submission
Dec 30, 2009: Notification of acceptance
Jan 20, 2010: Full Camera-ready papers
Apr 12-14, 2010: ADS'10 Symposium

General Co-Chair
Levent Yilmaz, Auburn University
Tuncer Ören, University of Ottawa
Program Co-Chair
Gregory Madey, University of Notre Dame
Maarten Sierhuis, Carnegie Mellon University, NASA Ames Research Center
Yu Zhang, Trinity University

How to query items of a Sequence ?

2009-11-03T13:48:58Z

Hi everyone,

We are using sequences in our project and we are having difficulties finding a way to query our ontology to get all items of a sequence using SPARQL.

The sequence in our ontology looks like this :

<rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>

<rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
    <rdf:_1 rdf:resource="http://www.url.com/someonto.owl#314"/>
</rdf:Description>

<rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
    <rdf:_2 rdf:resource="http://www.url.com/someonto.owl#194"/>
</rdf:Description>

<rdf:Seq rdf:about="http://www.url.com/someonto.owl#1317"/>
    <rdf:_3 rdf:resource="http://www.url.com/someonto.owl#GENERIC_113"/>
</rdf:Description>

We are able to find the sequence "http://www.url.com/someonto.owl#1317" with the following query :
SELECT ?sequence WHERE { ?sequence <" + RDF.TYPE + "> <" + RDF.SEQ + "> }

But is there a way to have a query that will return the items _1, _2 and _3 directly ?

Thank you,

Etienne Morency-Bachand

OnTheMove 2009, Vilamoura, Algarve: 5 top Keynote Speakers

2009-10-26T16:13:30Z

Call for Participation

OnTheMove (OTM) 2009 is a federated event that counts 4 conferences and 10 workshops, co-located in the week of Nov.1 to 6, in the Tivoli Marina Conference Center and Hotel overlooking the pleasant fishing and yacht harbour of Vilamoura, in the Portuguese Algarve.

All workshops and conferences gravitate around the themes and aspects of distributed, heterogenous and ubiquitous computing on the internet. There will be plenty of opportunities to mingle with researchers in related domains, or become informed of new developments in your area.

More about OnTheMove 2009 can be found at http://www.onthemove-conferences.org/

We draw your attention to our prestigious keynote speaker program which by OTM tradition is shared among all workshops and conferences, so *any* registration gives access to *all* keynote talks!

Keynotes:

- Wolfgang Prinz
- Santosh Shrivastava
- Kai Hwang
- Alejandro Buchmann
- Claude Feliot

We, the General co-Chairs of OTM'09 hope we may welcome you for a week of top professional enjoyment in this charming part of Portugal.

Advance registration rates remain in effect if registration is done through our website until 31 Oct 2009.

Pilar Herrero
Tharam Dillon
Robert Meersman

OnTheMove Federated Conferences & Workshops 2009

www.onthemove-conferences.org

Mapping from relational databases to OWL?

2009-10-26T09:31:04Z

Dear public-owl-dev

Can anybody can point me to any work done (published reviews and/or
available software) in the area of mapping relational database schemas
to OWL ontologies?

Thanks

Duncan

--
Duncan Hull
http://www.ebi.ac.uk

OWLED 2009 - Future of OWL session minutes & slides

2009-10-24T10:37:42Z

The minutes and slides of the Future of OWL session are now available
from the Webont Wiki [1].

If you feel like contributing to the wiki (best practices, use cases,
applications etc.) please contact the Wiki administrators listed on
the front page [2] to get an account.

Best,

Rinke
OWLED 2009 program chair

[1] http://wiki.webont.org/page/Future_of_OWL
[2] http://wiki.webont.org

---
Dr Rinke Hoekstra

AI Department | Leibniz Center for Law
Faculty of Sciences | Faculty of Law
Vrije Universiteit | Universiteit van Amsterdam
De Boelelaan 1081a | Kloveniersburgwal 48
1081 HV Amsterdam | 1012 CX Amsterdam
+31-(0)20-5987752 | +31-(0)20-5253499
hoekstra@... | hoekstra@...

Homepage: http://www.few.vu.nl/~hoekstra

Call For Participation: Semantics for the Rest of Us Workshop at ISWC 2009

2009-10-23T17:53:28Z

Apologies for cross posting

---------------------------------------------------------------------------------------
Semantics for the Rest of Us -- Variants of
Semantic Web Languages in the Real World

Held in conjunction with
8th International Semantic Web Conference (ISWC 2009)
Monday, 26 October 2009, Washington, DC
---------------------------------------------------------------------------------------

The Semantic Web is a broad vision of the future of personal
computing, emphasizing the use of sophisticated knowledge
representation as the basis for end-user applications' data modeling
and management needs. Key to the pervasive adoption of Semantic Web
technologies is a good set of fundamental "building blocks" - the most
important of these are representation languages themselves. W3C's
standard languages for the Semantic Web, RDF and OWL, have been around
for several years; instead of strict standards compliance, we see
"variants" of these languages emerge in applications, often tailored
to a particular application's needs. These variants are often either
subsets of OWL or supersets of RDF, typically with fragments OWL
added. Extensions based on rules, such as SWRL and N3 logic, have been
developed as well as enhancements to the SPARQL query language and
protocol.

In this workshop we will explore the landscape of RDF, OWL and SPARQL
variants, specifically from the standpoint of "real-world
semantics". Are there commonalities in these variants that might
suggest new standards or new versions of the existing standards? We
hope to identify common requirements of applications consuming
Semantic Web data and understand the pros and cons of a strictly
formal approach to modeling data versus a "scruffier" approach where
semantics are based on application requirements and implementation
restrictions.

The workshop will encourage active audience participation and
discussion and includes a keynote by Sandro Hawke (W3C) as well as a
panel to be moderated by Jim Hendler (RPI).

ORGANIZERS

Lalana Kagal, Massachusetts Institute of Technology
Ora Lassila, Nokia
Tim Finin, University of Maryland, Baltimore County

PROGRAM

08:30-08:45 Welcome, introductions, etc. [15]
08:45-09:45 Sandro's invited talk + discussion [60]
9:45 - 10:35 2 research paper [50]
RDF syntax normalization using XML validation - Denny Vrandecic, Frank
Dengler, Sebastian Rudolph and Michael Erdmann (research paper) [25]
LexRDF Model: An RDF-based Unified Model for Heterologous Biomedical
Ontologies - Cui Tao, Jyotishman Pathak, Harold Solbrig, Wei-Qi Wei
and Christopher Chute (research paper) [25]
10:35-10:50 Break [15]
10:50 - 11:55 1 position paper, 2 research papers [65]
Streaming OWL, Mike Dean (position paper) [10]
Accessing Site-Specific APIs Through Write-Wrappers From The Web of
Data - Oana Ureche, Aftab Iqbal, Richard Cyganiak and Michael
Hausenblas (research paper) [25]
LTML - A Language for Representing Semantic Web Service Workflow
Procedures - Mark Burstein, Robert Goldman, Drew McDermott, David
McDonald, Jacob Beal and John Maraist [25]
11:55 - 12:40 Panel + discussion [45]
12:40-12:45 Closing comments and Wrap-up
12:45-2:00 Lunch

PANEL

Title: "Little vs Large Semantics: What's next for the Semantic Web
languages?"

Moderator: Jim Hendler, RPI

Panelists:
Kendall Clark, Clark & Parsia, LLC
Leigh Dodds, Talis
Ivan Herman, W3C
Ora Lassila, Nokia

Sequence and inverse/transitive properties

2009-10-22T13:10:53Z

Hi,

I'm working for the first time with rdf:seq and I have a few questions.

I have a class Person and 2 inverse and transitive properties hasChild
and isChildOf:
<owl:Class rdf:about="#Person"/>
<owl:ObjectProperty rdf:about="#hasChild">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#isChildOf">
<rdf:type rdf:resource="&owl;TransitiveProperty"/>
<owl:inverseOf rdf:resource="#hasChild"/>
</owl:ObjectProperty>

Here are my individuals:
<rdf:Description rdf:about="http://www.test.com/test.owl#parent1">
<hasChild xmlns="http://www.test.com/test.owl#"
rdf:resource="http://www.test.com/test.owl#childSeq"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.test.com/test.owl#childSeq">
<rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.test.com/test.owl#parent1">
<rdf:type rdf:resource="http://www.test.com/test.owl#Person"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.test.com/test.owl#child1">
<rdf:type rdf:resource="http://www.test.com/test.owl#Person"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.test.com/test.owl#child2">
<rdf:type rdf:resource="http://www.test.com/test.owl#Person"/>
</rdf:Description>
<rdf:Description rdf:about="http://www.test.com/test.owl#childSeq">
<rdf:_1 rdf:resource="http://www.test.com/test.owl#child1"/>
<rdf:_2 rdf:resource="http://www.test.com/test.owl#child2"/>
</rdf:Description>

How can I know who is the parent of a child?
HasChild property from the parent give me the Seq instance, so the
inverse from the Seq will return the parent. There is no properties
about children...

Ideally, I'd like to have something like
parent1 hasChild child1, child2 (sorted)
child1 isChildOf parent1
child2 isChildOf parent1

And how can I use the transitivity of hasChild:
parent1 hasChild seq(child1)
child1 hasChild seq(child3)

I don't understand how can I get all children (multiple generations)
from a parent (something like parent1 hasChild child1, child2,
child3).

Is there a way from an individual to retrieve the seq that contains it?

Thanks in advance

Cedric

Transitive Self-Referencing Properties

2009-10-21T16:11:15Z

Hi,

I am working on extending an ontology to select particular groups of equivalent classes from the base ontology, for validation of an ontology instance. I have come across a situation which doesn't seem to be solvable within OWL 2 DL, and as far as I can tell, there are no OWL 2 Full reasoners available.

This is the base ontology:

SubClassOf(Page Destination)

ObjectPropertyDomain(events Page)
ObjectPropertyRange(events Event)

ObjectPropertyDomain(action Event)
ObjectPropertyRange(action Action)

ObjectPropertyDomain(to Action)
ObjectPropertyRange(to Destination)

DataPropertyDomain(name Event)
DataPropertyRange(name xsd:string)

That is, a Page (subclass of Destination) can have an Event, which has an Action, which has a reference to another Destination.

What I would like to achieve is select all cycles in ontology instances, i.e. all Pages that have an Event/Action chain that eventually points to itself - a cycle of event/action redirections.

I define an equivalent subclass EventAccess which is all Events with the name "access":

SubClassOf(EventAccess Event)
EquivalentClasses(EventAccess ObjectIntersectionOf(DataHasValue(name "access") Event))

In order to select this class later, I assert that all of these classes have a new "isAccessEvent" property, thanks to the OWA:

Declaration(ObjectProperty(isAccessEvent))
SubClassOf(EventAccess ObjectSomeValuesFrom(isAccessEvent owl:Thing))

I then define a subclass of Page called PageRedirects, which represents a Page that contains an Event, which has an Action, that points to another Page.This is achieved though property chains, and uses the "property o inv(property)" approach of selecting a particular class. This "pageAccessTo" property, which points to the possible Pages that this Page may redirect to, is also defined as transitive.

Declaration(ObjectProperty(pageAccessTo))
TransitiveObjectProperty(pageAccessTo)
ObjectPropertyDomain(pageAccessTo Page)
ObjectPropertyRange(pageAccessTo Page)
SubObjectPropertyOf(SubObjectPropertyChain(events isAccessEvent InverseObjectProperty(isAccessEvent) action to) pageAccessTo)

Declaration(Class(PageRedirects))
EquivalentClasses(PageRedirects ObjectIntersectionOf(ObjectSomeValuesFrom(pageAccessTo Page) Page))
SubClassOf(PageRedirects Page)

Up to this stage, there is no problem. I can create individuals in Protege and use the FaCT reasoner, and the Pellet reasoner, to infer that individuals are correctly equivalent to PageRedirects.

However, now I want to select all PageRedirects which eventually redirect to itself, using the transitive property above. I define an equivalent class CyclicPage, which is all PageRedirects which redirects to itself:

EquivalentClasses(CyclicPage ObjectIntersectionOf(ObjectExistsSelf(pageAccessTo) PageRedirects))
SubClassOf(CyclicPage PageRedirects)

This is where the ontology fails. On further investigation, it appears this is because this transitive, self-referencing property is part of OWL 2 Full, and not OWL 2 DL; and the reasoners I have tried (FaCT, Pellet) can only support OWL 2 DL.

Is there another approach that would let me select transitive self-referencing properties, or achieve what I'd like to do, within the OWL 2 DL restrictions?

Thanks,

Jevon

Re: OWL 2 Quick Reference Card

2009-10-18T00:21:51Z

This ([1]) is just so cool - it even got me to read it properly.

Which did get me pondering on why people might feel the need to re-write
Universal/Empty to Top/Bottom, making people have to just remember the
terms, since hopefully many users will have no idea why.

But it is really good, and even seduces me into thinking I might understand
it.

Thanks
Hugh

On 18/10/2009 05:55, "Jie Bao" <baojie@...> wrote:

> We¹re pleased to announce the OWL 2 Reference Card [1]. The Card is
> meant to be a ³cheat sheet² of OWL 2 features printable on a single
> piece of paper (on both sides). It is based on the OWL 2 Quick
> Reference Guide [1], which is now a Proposed Recommendation [2] in the
> OWL 2 Web Ontology Language document set.
>
> Background: OWL 2 [4] is an extension to OWL 1 with a few new
> functionalities. Some of the new features are syntactic sugar (e.g.,
> disjoint union of classes) while others offer new expressivity,
> including:
>
> * keys;
> * property chains;
> * richer datatypes, data ranges;
> * qualified cardinality restrictions;
> * asymmetric, reflexive, and disjoint properties; and
> * enhanced annotation capabilities
>
> Comments and suggestions to the Card are welcome (please send to
> public-owl-comments@...)
>
> [1] http://www.w3.org/2007/OWL/refcard
>
> [2] http://www.w3.org/2007/OWL/wiki/Quick_Reference_Guide
>
> [3] http://www.w3.org/TR/2009/PR-owl2-quick-reference-20090922/
>
> [4] http://www.w3.org/TR/owl2-overview/
>
> Jie Bao
>

Re: OWL 2 Quick Reference Card

2009-10-17T21:55:01Z

We’re pleased to announce the OWL 2 Reference Card [1]. The Card is
meant to be a “cheat sheet” of OWL 2 features printable on a single
piece of paper (on both sides). It is based on the OWL 2 Quick
Reference Guide [1], which is now a Proposed Recommendation [2] in the
OWL 2 Web Ontology Language document set.

Background: OWL 2 [4] is an extension to OWL 1 with a few new
functionalities. Some of the new features are syntactic sugar (e.g.,
disjoint union of classes) while others offer new expressivity,
including:

* keys;
* property chains;
* richer datatypes, data ranges;
* qualified cardinality restrictions;
* asymmetric, reflexive, and disjoint properties; and
* enhanced annotation capabilities

Comments and suggestions to the Card are welcome (please send to
public-owl-comments@...)

[1] http://www.w3.org/2007/OWL/refcard

[2] http://www.w3.org/2007/OWL/wiki/Quick_Reference_Guide

[3] http://www.w3.org/TR/2009/PR-owl2-quick-reference-20090922/

[4] http://www.w3.org/TR/owl2-overview/

Jie Bao

OWLED 2009 - Discussion on the Future of OWL

2009-10-16T04:35:33Z

(apologies for crossposts)

Dear All,

OWLED is not only about sharing OWL experiences, but also on the
direction in which OWL should be developed. Day 1 of this year's OWLED
will be concluded with a session on the future of OWL [4].

In anticipation of this session, we are soliciting (fresh, good) ideas
and opinions on the next steps for OWL.

To give some ideas. Topics may touch upon a wide variety of OWL-
related issues, such as much-needed language features (expressiveness,
annotations, time, space), scalability, compatibility, interaction and
interoperability with other languages (SKOS, RIF etc.), syntaxes,
'spreading the word' (or, 'how not to evangelize too much'), tools,
uncharted application domains, strategies to stimulate industry take-
up, etc. etc. etc.

In particular, we would like to have your input on the last point: now
that OWL 2 is in its final stage of development, how do we go about
creating a mature 'market' for OWL-based technologies. What are the
biggest hurdles ahead?

Please post your ideas as response to this email on public-owl-dev@...
, or privately to me.

Plenty of inspiration can be found on the workshop series homepage
[1], OWLED taskforces [2], or by having a look at the papers of this
year's OWLED at [3] or [4].

Looking forward to hearing from you! (and perhaps even meeting you
next week... who knows?)

Best,

Rinke Hoekstra
Program Chair

[1] http://www.webont.org/owled
[2] http://www.webont.org/owled/taskforces/
[3] http://www.webont.org/owled/2009
[4] http://www.webont.org/owled/2009/schedule.html

---
Dr Rinke Hoekstra

AI Department | Leibniz Center for Law
Faculty of Sciences | Faculty of Law
Vrije Universiteit | Universiteit van Amsterdam
De Boelelaan 1081a | Kloveniersburgwal 48
1081 HV Amsterdam | 1012 CX Amsterdam
+31-(0)20-5987752 | +31-(0)20-5253499
hoekstra@... | hoekstra@...

Homepage: http://www.few.vu.nl/~hoekstra

Call for Participation: Service Matchmaking and Resource Retrieval in the Semantic Web

2009-10-15T21:52:30Z

Apologies for cross-postings

--------------------------------------------------------------------------
CALL FOR PARTICIPATION
--------------------------------------------------------------------------

SMR2-2009

Third International Workshop on

Service Matchmaking and Resource Retrieval in the Semantic Web

http://www-ags.dfki.uni-sb.de/~klusch/smr2-09/

8th International Semantic Web Conference (ISWC 2009)

October 25, 2009

Washington DC, USA

Aim & Scope

The primary objective of this workshop is to bring together researchers and practitioners from industry who tackle semantic service discovery from various points of view. This year's workshop will especially focus on building bridges to the software engineering and model-driven development communities in order to share requirements, technologies, and experiences that might be helpful in advancing the state of the art in semantic service matchmaking and resource retrieval.

Going to Practice: The Third Semantic Service Selection (S3) Contest

In addition, this year's workshop integrates the third edition of the open international contest on semantic service selection (S3). The S3 contest focuses on the comparative evaluation of classic retrieval performance of ready to use Semantic Web service matchmakers over given test collections for semantic service formats such as OWL-S, WSML, and the standard SA-WSDL.

Scientific Program

8:45 - 9:00 Opening

9:00 - 10:00 Session 1: Supporting Service Mashups

Mashup Development for Everybody: A Planning-Based Approach.
Christian Kubczak, Tiziana Margaria and Bernhard Steffen.

Policy-Aware Pipes: Support Accountability in Mashup Service of Linked Data.
Fuming Shih Shih and Lalana Kagal.

10:00 - 10:30 Invited Talk I

BioSky: An Approach to Discover the Best Services Efficiently.
Maria-Esther Vidal (Universidad Simón Bolívar, Venezuela).

10:30 - 11:00 Coffee break

11:00 - 12:30 Session 2: Service Discovery

OWLS-MX3: An Adaptive Hybrid Semantic Service Matchmaker for OWL-S
Matthias Klusch and Patrick Kapahnke.

Semantic Matchmaking for Job Recruitment: An Ontology-Based Hybrid Approach.
Maryam Fazel-Zarandi and Mark S. Fox.

Discovering Pervasive Services Based on their Expected Use.
Raman Kazhamiakin, Volha Kehert, Massimo Paolucci Marco Pistore and Matthias Wagner.

12:30 - 14:00 Lunch

14:00 - 14:45 Session 3:
The 3rd International Semantic Service Selection Contest: Final Results.
Matthias Klusch, Ulrich Küster.

Track 1: OWL-S Service Matchmakers
Track 2: SAWSDL Service Matchmakers
Track 3: Initial Cross-Evaluation

S3 contest page: http://www.dfki.de/~klusch/s3/

14:45 - 15:15 Invited Talk II

The Role of Semantic Web Service Matching
in the Context of Business Process Implementation - an Industry Perspective.
Rama Akkiraju (IBM Research, USA).

15:15 - 16:00 Open Discussion: "Semantic Services in Practice: Quo Vadis?"
Moderation: Massimo Paolucci

16:00 - 16:30 Coffee break

16:30 - 18:00 Session 4: Service Representation and Querying

Supporting the Creation of Semantic RESTful Service Descriptions.
Maria Maleshkova, Carlos Pedrinaci and John Domingue.

Using Queries for Semantic-based Service Utilization.
Mohammad-Reza Tazari.

Measuring the Weight of Relations Between Entities.
Mizuki Oka and Yutaka Matsuo.

18:00 Closing

Registration

Registration to the SMR2-2009 workshop is through the Web page
of the hosting conference ISWC 2009.

Please register to the workshop (second page) here:
http://iswc2009.semanticweb.org/wiki/index.php/ISWC_2009_Registration

At this page you are given the choice to register
for only one or both events (workshop, conference).

The virtual participation in the S3 contest in general
(via submission of your entry/entries online) is free of charge.

Organization

Program Co-Chairs

Alain Léger (France Telecom Research, France)
Tiziana Margaria (U Potsdam, Germany)
David Martin (SRI International, USA)
Massimo Paolucci (NTT DoCoMo Research Europe, Germany)

Steering Committee

Abraham Bernstein (U Zurich, Switzerland)
Tommaso Di Noia (TU Bari, Italy)
Takahiro Kawamura (Toshiba, Japan)
Matthias Klusch (DFKI, Germany)
Ulrich Küster (U Jena, Germany)
Ruben Lara (Telefonica R&D, Spain)
Alain Leger (France Telecom Research, France)
David Martin (SRI International, USA)
Terry Payne (U Southampton, UK)
Axel Polleres (DERI Galway, Ireland)
Massimo Paolucci (NTT DoCoMo Europe, Germany)
Ioan Toma (STI, Austria)

Program Committee

Sudhir Agarwal (U Karlsruhe, Germany)
Rama Akkiraju (IBM Research, USA)
Eugenio Di Sciascio (Politecnico di Bari, Italy)
Toumani Farouk (Blaise Pascal University, France)
Takahiro Kawamura (Toshiba Research, Japan)
Matthias Klusch (DFKI, Germany)
Ulrich Küster (U Jena, Germany)
Freddy Lecue (U Manchester, UK)
Alain Léger (France Telecom Research, France)
Tiziana Margaria (U Potsdam, Germany)
David Martin (SRI International, USA)
Massimo Paolucci (NTT DoCoMo Research Europe, Germany)
Axel Polleres (DERI Galway, Ireland)
Dumitru Roman (STI Innsbruck, Austria)
Bernhard Steffen (TU Dortmund, Germany)
Eran Toch (Carnegie-Mellon U, USA)
Ioan Toma (STI Innsbruck, Austria)

OWLED 2009 - Papers Online & Call for Participation

2009-10-15T05:00:15Z

(apologies for cross-posting)

Dear All,

Papers accepted for this year's OWLED are now accessible online from
the workshop website:

http://www.webont.org/owled/2009

The current draft schedule can be found at:

http://www.webont.org/owled/2009/schedule.html

Registration is still open via the ISWC 2009 website (no late
registration penalty for OWLED):

https://ww2.eventrebels.com/er/Registration/StepRegInfo.jsp?ActivityID=4116&StepNumber=1

Hope to see you all next week!

Best,

Rinke

---
Dr Rinke Hoekstra

AI Department | Leibniz Center for Law
Faculty of Sciences | Faculty of Law
Vrije Universiteit | Universiteit van Amsterdam
De Boelelaan 1081a | Kloveniersburgwal 48
1081 HV Amsterdam | 1012 CX Amsterdam
+31-(0)20-5987752 | +31-(0)20-5253499
hoekstra@... | hoekstra@...

Homepage: http://www.few.vu.nl/~hoekstra

Semantic Web Job Openings at Bell Labs Ireland

2009-10-14T10:50:36Z

Bell Labs Ireland has vacancies for researchers in Semantic Web and
related disciplines to lead and participate in a new long-term project
involving semantic access to telecommunications data and services. The
project is focussed on the modelling of, integration of and reasoning
about heterogeneous data sources in a scalable and adaptive manner and
will be based in Blanchardstown, near Dublin, Ireland.

Project members will lead, define and conduct groundbreaking research
into semantic access to, and transport of, telecommunications data, as
well as semantic description of, and access to, telecommunications and
hybrid services. Project members will as well lead and perform advanced
development on research outputs. Project members will disseminate
results of the project as appropriate, including publication in
internationally recognized research conferences and journals. Project
members will create and maintain strong collaborative associations other
Bell Labs researchers, with university-based researchers, other leading
research bodies, product business units and government agencies.

The project leader will also be responsible for recruiting and
developing the research team to deliver this research program; leading
the definition of technical foundations for research programs, project
objectives and work plans; and partnering with Alcatel-Lucent business
units to ensure the successful transfer of the research output to the
product portfolio of Alcatel-Lucent.

Project members are expected to have a PhD in Computer Science,
Electrical Engineering, or Mathematics with experience in Semantic Web
technologies or a related area with a strong publication record in high
quality research venues. Experience with RDF, RDFS and OWL and
associated tools is very desirable, as is expertise in web services
architecture and infrastructure especially RESTful. Experience with
advanced development activities is also desirable.

The project leader is expected to have experience in building and
leading team oriented projects, and in conducting independent research.
A proven track record in a research arena or strong industrial
experience is essential.

Applicants should contact Julie Byrne (juliebyrne@...,
+353-1-8864453), Bell Labs Ireland. Complete applications are to
include a CV and research interests.

I will be at ISWC and available to talk to interested parties.

Peter F. Patel-Schneider
Bell Labs Research

Note that return receipts from this account are misleading and
incorrect. Any return receipt that you receive does not indicate the
true disposition of the message.

ISWC Tutorial: Working with Explanations of OWL Entailments

2009-10-14T03:50:11Z

This is a reminder that Matthew Horridge and I are looking forward to
presenting the ISWC explanation tutorial on the 25th [1]. We hope to
see many of you there. In case that, in your work with ontologies, you
have come across entailments that you found hard to understand, we
encourage you to bring them with you.

Cheers

Thomas

[1] http://iswc2009.semanticweb.org/wiki/index.php/ISWC_2009_Tutorials/Working_with_Explanations_of_OWL_Entailments

Abstract: In complex ontologies, users are often baffled by the
behavior of the reasoner. Even if we restrict ourselves to "buggy"
entailments (e.g., unsatisfiable classes) it is often unclear why
those entailments hold. The reasons as to why an entailment arises in
an ontology can range from fairly simple localized glitches through to
highly non-obvious problems scattered throughout the ontology. In the
case of very large ontologies, manually pinpointing the reasons for an
entailment can be a frustrating task, especially as it is typically
only a very small percentage of the ontology that is responsible for
the entailment. Tool support in the form of an explanation workbench
plug-in has recently been made available for Protege 4. This plug-in
makes it possible to obtain and browse explanations for entailments.
Using the explanation workbench plug-in, the tutorial will introduce
explanation of entailments in OWL. The tutorial will cover everything
from now standard justification finding services to cutting edge
experimental support for model exploration. Participants will be
exposed to a wide range of interesting and challenging examples
collected over the course of several years in doing research on
explanation.

+----------------------------------------------------------------------+
| Dr Thomas Schneider schneider (at) cs.man.ac.uk |
| School of Computer Science http://www.cs.man.ac.uk/~schneidt |
| Kilburn Building, Room 2.114 phone +44 161 2756136 |
| University of Manchester |
| Oxford Road _///_ |
| Manchester M13 9PL (o~o) |
+-----------------------------------------------------oOOO--(_)--OOOo--+

Ventnor (n.)
One who, having been visited as a child by a mysterious gypsy lady,
is gifted with the strange power of being able to operate the air-
nozzles above aeroplane seats.

Douglas Adams, John Lloyd: The Deeper Meaning of Liff

[Thomas Schneider.vcf]

BEGIN:VCARD VERSION:3.0 N:Schneider;Thomas;;; FN:Thomas Schneider EMAIL;type=INTERNET;type=WORK;type=pref:schneidt@... EMAIL;type=INTERNET;type=WORK:schneider@... EMAIL;type=INTERNET;type=HOME:th42sch@... TEL;type=WORK;type=pref:+44 161 2756136 item1.TEL:+44 7964 924587 item1.X-ABLabel:mobile (UK) item2.TEL:+44 161 2269925 item2.X-ABLabel:home (UK) item3.TEL:+49 160 3318037 item3.X-ABLabel:mobile (DE) item4.TEL:+49 621 86248498 item4.X-ABLabel:home (DE) item5.ADR;type=WORK;type=pref:;;School of Computer Science\nRoom 2.114 Kilburn Building\nUniversity of Manchester\nOxford Road;Manchester;;M13 9PL;United Kingdom item5.X-ABADR:gb item6.ADR;type=HOME:;;Flat 7 Alexandra Park House\n28 Alexandra Road South;Manchester;;M16 8HU;UK item6.X-ABLabel:home (UK) item6.X-ABADR:gb item7.ADR;type=HOME:;;WeylstraÃe 9;Mannheim;;68167;Germany item7.X-ABADR:de item8.URL;type=pref:http\://www.cs.manchester.ac.uk/~schneidt/ item8.X-ABLabel:_$!<HomePage>!$_ item9.URL:skype\:amurleopard42 item9.X-ABLabel:Skype X-JABBER;type=WORK;type=pref:th42sch@... PHOTO;BASE64: /9j/4AAQSkZJRgABAQAAAQABAAD/4hEsSUNDX1BST0ZJTEUAAQEAABEcYXBwbAIAAABtbnRyUkdC IFhZWiAH2QAIAAcAFgAbADphY3NwQVBQTAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA9tYAAQAA AADTLWFwcGwKLieT/qge0s34S/pgcrvlAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA5y WFlaAAABLAAAABRnWFlaAAABQAAAABRiWFlaAAABVAAAABR3dHB0AAABaAAAABRjaGFkAAABfAAA ACxyVFJDAAABqAAAAA5nVFJDAAABuAAAAA5iVFJDAAAByAAAAA52Y2d0AAAB2AAABhJuZGluAAAH 7AAABj5kZXNjAAAOLAAAAGRkc2NtAAAOkAAAAj5tbW9kAAAQ0AAAAChjcHJ0AAAQ+AAAACRYWVog AAAAAAAAYOgAADgUAAAGUlhZWiAAAAAAAABwNgAAsgIAACEbWFlaIAAAAAAAACW3AAAWBAAAq7hY WVogAAAAAAAA81IAAQAAAAEWz3NmMzIAAAAAAAEMQgAABd7///MmAAAHkgAA/ZH///ui///9owAA A9wAAMBsY3VydgAAAAAAAAABAc0AAGN1cnYAAAAAAAAAAQHNAABjdXJ2AAAAAAAAAAEBzQAAdmNn dAAAAAAAAAAAAAMBAAACAAAAIQByAOwBggI7AyUEUgWrBzcI9wr4DRMPNBFmE4oVmReLGWAbHxyo Hg8fYyC1IgsjaCTJJicniyjwKlsrvy0pLo0v8zFUMq40DDVfNq84ADlHOoc7vzz5Pi8/a0CkQd5D F0RMRYdGv0f2SSxKX0uRTMJN8k8gUE5RdFKeU9BVH1Z2V8dZGVprW7Zc/l5IX4xgz2ISY1RklmXb Zx1oYWmqavNsPG2Ibsxv8XEFchZzJXQ3dUl2W3dseHx5j3qfe7F8wn3Vfuh/+oEPgiWDOoROhV2G Voc5iBiI94nYiruLnIx+jWCOQo8ij/+Q2pG1kpGTZJQ4lQqV2Zaol3SYUJlDmjybNZwrnR2eC571 n9ygvqGdonejTqQipPOlv6aLp1WoHKjiqaqqeqtrrGWtX65Yr02wQLEvshyzBrPttNO1traYt3a4 VLkyug6667vJvKW9gL5bvzPACcDhwbTCicNbxC3FAMXTxqPHdMhFyRbJ5sq1y4fMV80ozfzOz8+P 0EjQ/NGx0mzTKdPn1KjVa9Yw1vfXvtiG2U/aFtrd26Tcat0u3fHesd944EXhF+Hq4rbjguRM5RHl 0eaP50jn/eir6VTp++qa6zfr0uxm7Prtiu4k7s/vhvBA8PnxtPJw8y7z7fSw9Xf2Q/cT9+j4xvmq +pL7gvx5/XX+df9Q//8AAAA4AMMBbgI2AyEENwWEBuwIcwoeC9cNqg95EUwTGRTWFoMYJRmuGyUc cB2wHvEgNCF+IswkGCVpJrooEilkKrYsCi1cLqgv8DE9MnwzvDT7NjA3Wzh1OY46pTu/PNc97D8B QBRBK0JBQ1REaEV6RoxHnkixScVK1kvnTPpOE09IUIZRvVL0VCxVYFaOV79Y7VoZW0VccV2bXshf 82EgYlJjgWSxZeRnEGgjaSZqKmssbC9tNW46bz9wRnFOcldzYnRrdXl2iXeXeKl5vnrSe+Z8833y fuF/yYCygZyCi4N1hGKFToY5hyKIB4jqicyKrouIjGKNOI4LjtuPqpB+kXOSZJNVlEWVMZYalwCX 4pjCmZ6ad5tNnCGc8p3Ano6fWaAioOuhtqKFo3ikbqVmplynUKhBqS+qG6sEq+ys0623rpuve7Bd sT2yHbL+s9+0wbWgtoS3ZrhGuSa6Bbrku8C8nL15vla/MsAOwOvBycKmw4TEY8VDxiTHB8fryMnJ pcqAy1vMOc0YzffO2c+40JvRfdJg00LUI9UE1eTWxdej2IHZXto52xncBNzw3eDex9+w4JbheeJa 4zvkGuT25dHmqueD6FvpM+oM6uXrveyX7XPuVe9A8DHxLvIy8zj0RvVX9mb3c/h6+Xn6bftT/Cv8 9f2l/kb+2f9E/6H//wAAACQAfAECAZUCSgMgBBsFLAZYB5YI4Qo5C5MM7g5DD48Q0RIMEzIURRVA FjAXIBgSGQkaBBr7G/kc9R31HvMf8SDxIe4i6CPfJNUlyCa4J6cokSl3KlcrOCwSLO4txi6cL3Aw QTERMd0ypjNvNDU09jW4Nnk3OTf3OLQ5cTowOwA70jylPXg+TT8iP/dAzUGkQnxDVUQxRQxF60bK R6tIjklxSlRLOUwdTPxN2E6zT49QalFIUiRTAVPeVLxVnFZ7V1tYQFklWgpa8lvdXMhdsl6aX35g V2EvYgpi6GPIZKpljmZ0Z1xoRGkqahBq9mvcbMBtom6Eb2BwPHEXcfxy7XPjdNZ1xnazd5p4e3la ejF7BXvVfKF9an4sfux/q4BpgSKB24KVg0+EDITLhYuGTIcMh82Ij4lRihSK2YugjGqNNY4Bjs+P n5BxkUWSGpLwk8GUhJU2lemWnpdTmAuYxpmEmkebDZvWnKGdcp5Gnxuf86DOoaiihaNnpEWlG6Xs prqni6hkqT+qHar+q+Ksy621rqCvjLB3sWGySrMytBm0/bXetru3oLivub+61LvivPK+AL8KwBLB G8IgwyPEI8Uhxh7HGcgTyQ3KBcr7y/LM8M44z5PQ69I404TU1tYv143Y9Np03Ajdu9+U4ZPjv+Y/ 6RfsZvBH9TP7hP//AABuZGluAAAAAAAABjYAAJhlAABZhQAAUxgAAIvaAAAnmgAAFWAAAFANAABU OQACaPUAAiuFAAFcKAADAQAAAgAAABgAMgBKAF8AdACIAJwArgDCANQA5gD5AQsBHgEyAUYBWgFv AYUBnAG0Ac0B6AIEAiICQgJjAokCsQLfAw8DQQN0A6gD3AQRBEcEfwS3BPAFKgVkBaEF3gYcBlwG nQbfByMHagexB/kIRQiTCOEJMQmFCdsKNQqRCu0LTQurDAwMbgzSDTcNnw4GDm8O2g9HD7UQJhCY EQ0RghH6EnQS7xNvE+4UcBTpFVsVzhZFFrwXNReuGCsYqhkrGawaMRq3Gz4bxxxRHN0daB31HoQf Ex+hIDAgwSFSIeMidSMWI8YkfSU1JfAmqidmKCQo5CmmKmgrLSvyLLstgy5MLxcv5DCwMX0yTTMf M/c05jXwNvw4CjkVOiY7NzxKPWA+fD+eQMVB60MhRFZFlkbaSCVJVUpjS3pMkE2uTtJP/1EwUmxT sFT9VlFXr1kZWodb/F18Xvpga2GeYtVkDWVKZo1n1mkmanxr1205bqBwC3GAcvV0cHXtd2p47Hpy e/t9j38hgL+CWoQAhaaHToj8iq2MX44Vj9GRh5NGlP+WupikmrKcwJ69oLuisKSjppCofqprrF2u U7BMsky0VLZouGa6Urw7vjnAN8JIxGvGmsjly03Nz9B40zfWG9kW25zd8+BP4qjk/edQ6Zbrzu35 8BfyHvQZ9gr36vm/+5D9Wf//AAAADgAhADUASQBcAG8AgwCXAKsAvwDUAOkA/gEUASsBQwFbAXUB jwGrAcgB5wIHAikCTQJ0Ap0CzAL+AzMDaAOfA9YEDgRHBIIEvQT6BTcFdQW1BfcGOQZ9BsIHCgdT B58H6gg6CIwI3gkzCYwJ6ApMCrILGwuFC/AMXgzPDUENtg4rDqIPHA+XEBUQlREWEZkSHRKjEywT txRBFMoVRhXCFkIWxBdHF8sYUhjdGWgZ9RqFGxYbqRw9HNQdah4CHpwfNh/PIGshCCGlIkIi6COh JGIlIyXoJqwncSg4KQEpyiqUK18sKiz4LcQukC9gMC4w+zHKMpszbjRMNT02PTc+OEE5QDpGO0s8 Uz1ePm8/h0CjQcFC7EQZRVFGj0fWSRZKKUtITGZNik60T+ZRHlJdU6RU81ZIV6VZDVp4W+ldZF7d YFBhhmLBY/xlO2aBZ8tpHGpza85tLm6Ub/txbHLcdFF1x3c+eLZ6NHusfSx+roA1gb2DToTghnOI CYmjizyM145zkBKRrZNOlOeWgpgpmdebip08numgmqJIo/ylqqdcqQ+qxqyBrj+v/rHEs4y1XLcu uOK6mLxHvgq/yMGRw2TFOccTyPfK4MzQzsHQuNKs1KTWodiZ2ozca9493/3hreNc5QPmoehC6ejr lu1Q7xvxA/MQ9VH37vsM//8AAAAWADAASgBjAH0AlwCxAM0A6QEGASQBRAFlAYgBrQHVAf8CLAJd ApMC0QMVA1wDpQPvBDoEiQTYBSoFfQXTBisGhQbiB0MHpwgOCHkI5wlZCdAKTgrOC1UL3QxsDP8N mA40DtgPgBAvEOQRnRJcEx8T6BSzFW4WKxbqF6sYbhk0GfsaxBuOHFgdJR3xHr8fjSBcIS8iASLX I7UkmCV+JmYnTig6KSgqFysHK/ks7S3eLtEvxjC4MasyoDOZNJk1qTa9N8843jnuOv08DD0ZPio/ PkBWQW1CikOrRNBF/kcuSGRJhEqaS7RM0035TyhQYlGiUvFUSVWtVxlYl1odW6hdQ17cYHliDmOm ZTxm1mhxag5rqW1Cbthwa3H/c5B1HnaseDd5xnt/fWd/R4EpgwKE1IaciF2KGIvJjXePI5DHknCU E5Wxl1qZHJronLGeaKAeoc2je6UfpsKoZaoHq6+tWa8HsLqyc7Q0tgK3wbk1urK8Jb2ovyXAqMIx w8HFT8biyH3KHMvCzWnPF9DK0nzUM9Xx163Zb9rI3AvdSd6N393hMOKB483lFuZc557o2+oJ6y3s SO1S7ljvTfA88R/x/PLM85n0UPUH9a72Tvbu93z4B/iT+RP5ifoA+nf63Ps5+5f79PxS/J785f0t /XT9vP4E/lj+wv8r/5X//wAAZGVzYwAAAAAAAAAKQ29sb3IgTENEAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAG1sdWMAAAAAAAAAEgAAAAxuYk5PAAAAEgAAAOhwdFBUAAAAFgAAAPpzdlNFAAAAEAAAARBm aUZJAAAAEAAAASBkYURLAAAAHAAAATB6aENOAAAADAAAAUxmckZSAAAAEgAAAVhqYUpQAAAADgAA AWplblVTAAAAEgAAAXhwbFBMAAAAEgAAAYpwdEJSAAAAGAAAAZxlc0VTAAAAEgAAAbR6aFRXAAAA DgAAAcZydVJVAAAAJAAAAdRrb0tSAAAADAAAAfhkZURFAAAAEAAAAgRubE5MAAAAFgAAAhRpdElU AAAAFAAAAioARgBhAHIAZwBlAC0ATABDAEQATABDAEQAIABhACAAQwBvAHIAZQBzAEYA5AByAGcA LQBMAEMARABWAOQAcgBpAC0ATABDAEQATABDAEQALQBmAGEAcgB2AGUAcwBrAOYAcgBtX2mCcgAg AEwAQwBEAMkAYwByAGEAbgAgAEwAQwBEMKsw6TD8ACAATABDAEQAQwBvAGwAbwByACAATABDAEQA SwBvAGwAbwByACAATABDAEQATABDAEQAIABDAG8AbABvAHIAaQBkAG8ATABDAEQAIABjAG8AbABv AHJfaYJybbJmdphveTpWaAQmBDIENQRCBD0EPgQ5ACAEFgQaAC0ENAQ4BEEEPwQ7BDUEOc7st+wA IABMAEMARABGAGEAcgBiAC0ATABDAEQASwBsAGUAdQByAGUAbgAtAEwAQwBEAEwAQwBEACAAYwBv AGwAbwByAGkAAG1tb2QAAAAAAAAGEAAAnGYAAAAAwUS1gAAAAAAAAAAAAAAAAAAAAAB0ZXh0AAAA AENvcHlyaWdodCBBcHBsZSwgSW5jLiwgMjAwOQD/4QBARXhpZgAATU0AKgAAAAgAAYdpAAQAAAAB AAAAGgAAAAAAAqACAAQAAAABAAAA2qADAAQAAAABAAAA2gAAAAD/2wBDAAIBAQIBAQICAQICAgIC AwUDAwMDAwYEBAMFBwYHBwcGBgYHCAsJBwgKCAYGCQ0JCgsLDAwMBwkNDg0MDgsMDAv/2wBDAQIC AgMCAwUDAwULCAYICwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsLCwsL CwsLCwv/wAARCADaANoDASIAAhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL /8QAtRAAAgEDAwIEAwUFBAQAAAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2Jy ggkKFhcYGRolJicoKSo0NTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWG h4iJipKTlJWWl5iZmqKjpKWmp6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo 6erx8vP09fb3+Pn6/8QAHwEAAwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQD BAcFBAQAAQJ3AAECAxEEBSExBhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRom JygpKjU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaX mJmaoqOkpaanqKmqsrO0tba3uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6 /9oADAMBAAIRAxEAPwD5o16HWotE8Taf4WlWzOq+akwWISRCOXkxKSpMYYBT8ucHPTNch8T4o/gR J4RvPh5eC91M6e1rPbvOis91Iu12AA4IJGAwYZ5616dDCkMQOgecb0rJmVJWlN0SANwUncuACBiu Q8W+AL3xHphTUXBa0lW7WZ7VpoV7hH3cBuTyOma+Vo4905qMlp/SJtJKyPEvF/j3Xvjax074weLd dvbyF91vYiGL7LGxX5WYJ6ZYsTnrW9Z+FvEep6ZYQNaGe78hFWARLNbX9rGNscsW4hVVAHJ+9xng kjPT/E34I634j+LWk3PhNItJs9Q0x5nnig2W9p5CtlXYLtUN6tx70vhL4ij4VaPYn4lTfadjNZCe MST7Q65AALY2lScbDjOD2pYzGzSjOi7p9P8AL/g3JVPmk1J/1oc/8H/CXh7xF4wt9U8MSwWl5brL DPp94wMcshJzgAqAvXAAOMfdr2PVPBmpWlgsGm6SY/JbzTLE7TyFSoKHyycZDDGMjPf1rwm08GeJ tF/aMg1vwl4e1P7K16b2Oa3jbygroCX3YIUbTznkEkV69D8YIVjuZ5pIWudLm8rU5GmEhkRclmBH LHj7pxzU4v2k3GUZc2l/TujSFOK3epxHjT4UQeEvCVlP8RtOi1jVUcwwwnLm4QnDSRshDo65J3MW GV6kAV4z4Z+GZ1jxfHDGJ7WCO78u7lV1IhG9hkhv4sD9M17R4s+LkHjvU5n1a61i6aKDyhtRYfsa sf3KxqFPmFSQx+U5V+cYrj77UY7f4cX9g1uq6vHchZr65l8vzZmfduMeRkDgDeuOvQDFaUsXUp0X BLVtfK5Kg4yb6GB4u8J2XgLXLm3je11K4mkMSLDE+I7ZwWDbxjzC3y4AAB5Fdp8M/jzH4T8QWGja P4ZvNPwTvYSne4I+bYGG7YTg7GJxitT4Q/APxF4cvYdd8fG21AG3kuBJFcB985JKFmTGCqgew6dq 9P0j4X2OrfZtWsb2fSp7tEmvTc20c6xnCr+6yD8pIB9zzXmV8XSqSdCq+ey1d9Lm1JSclY2vhpZz eIvF9vrk94ht4Wa3FoEKzO6qQCX3bdqZUnA5PFdL45MWjWzG0cxF2VfNhhZI0cjcHkBY7RnOTzng dq1dA8HeJz4fhhvYLSzeWdiiWtmZ4JUJOeAARzg5BHStzQ/hdfwxTQajdWmoiWTdtKAbmOAFOcna uBgfrXhV8FUnUTVnFHsQwFWaVlo9TzDw/od7qFiLi2uldLtFM1z9oKwlxglcLnY2epPtXm3xU0hL jw9PPZWQspYrorcXXl7JUjOQcsx+7kDkdSAa+mNE8B3Ph9dRaeWBrWR1W2gE4WEZHzFgmCRx0HXP tUeofCW/1axuINI/sONpWDgyhkZCT0y2fM4ycdOa6sJg3RqOa2f5BLK6k1onc+LLTS0s7d3mhtcQ EmKScgsxP3CAeTkc5Gat6F4y1TWBDDqWr6jbR2fzCGSYrDCFOCrMPmIOR8voelfXNh+yxqrvEviO Lw7G6qIUaK13sEAO3arHKvzkscjrjHFcTqX7I+teEYpby+t/NwWWC7gizMmGIPzhMIWUqcsSfkr1 ZYWlNtzim+55lXKK8fhR83/Ei1a/0K7tNUi8xLlt1u1uTi5kXBGSozt5GcgVkaN4tEmppPFYQGfS bKOKMzRfu4+cYUk/N9cc19NeOPAVxdeFG/4QN2+1QWojVYrFg0kgYhioXjLBGVj17mvEfB/wq16z 0zU5/H2mW1xqFtP5EewI4gRl3eZIOBzlsHBP866I0kqTVrW2sYzwMqWkm2ZWgazpfiH4l2C+Nit1 YWGnvJdQ2RJELSOdq88MRsz2GT3r0zxN4l1e38QeGb477a6gVrK1t4UiIBIX/WfNjAyNwznIwK89 02yvNfutUgimjhtYrlIFnhQMkhUZIB3AcHI/Liq2tNPYupuJbua7tMzRGRMIBnOUPYnuR3FeJiIp zSlG6taz/NGTvTglHZHo1lrj6Jrccgvw2y4P9r21muFnz97DbjhOPu55yaw7/wCItzbhv7EeSNE3 KhjGAE2nIjB5U/8A18VkWPj6O4vyviC2s7g6iijzZF2K7Kdo3Y4HPBPrya6rwlZaVouuWdvrOlT2 2rXG9haKgEEYQEybi5IDFQCFznH1rjlTqYZ3qK99ibyrW1tqcLqlj9jtWmN1qHmGUESMwk2g4Gdp 5IHsRW/4K8X3t3q95bWMWjadd3G2S7uBbs7SHoJfLbgZ74BJ6+9aOva1pNld3cs1jef2fZyqEcwb DMuQxCA9QTgZFa8up6Vp+lRppPlrqFzF9oj07a/71XZtsYfGFK+nPUin9adanyShds1imlZlTxxc XLWcNyYY4XsTuurmJnSC4V1Iwq5PI4/yK8x1++tPBbxy6as6edP9oikVxvL8E7Sp/H+lek/D34ga bHZrY6nFdLaqVt7tbpz+4bfjIGPukbRgjqPetHx/4SsR4vtr/Q7Sa5iRD5gktv3aRHO2XarYYfNj 5QDxz1rfLZ/U6ro11v2KirO5wOvfFObU5xbeO9KWxmm3Ml09uxJUgAybhnKE4yV71CNS0VRi3+xi McKEkuNoHbGU6VZ021srl5P+EkuXuYorqVfIWDEJAK4KOeUTkZXk8VpHR9KJ+e4mz3xKMfhxXtQh SpfDpfsdVGE6i0R6Jpt3/Z1+b3TAqIxSGJEb7xK5I4zjqeQCTxWnfajc2FjJa+Jft9vJP8+ISFkB JOAAV4Az1z0H1rA8P6pLoEMA0y1nt4/MBUPGCyngE7m9Ce+eoFO8caS1xa2s/ii/l3R4NvhPPDvn BQMCMN82cHnnpWMYc3vR3Zx36M7Pwr4ji09bjR2R3e0gUXcfzSG4THEqOMdzyO+Kp6/BaWSGXUoL fPneVbxyL5kjx9AxQFtnA3YzwCfSuR0fTLzw3MkF2s1xJMrQytM7wy2/QlmdSCcZG0N8vY1ordRy 6ctja3n2IWsj4u5WWXeMZBKbfvEgjI45puMnZRdn/VzTnVti74s1NPH2iz6fc3z2Wn2sQl+yRySp buXbjaFIKckZx268V54TFa+Nra00WBorOyjR7tnHzOg3gg7hzHno2RjA65rs73VYoruySdp/tcym VQkStvQNyzBiBkjHA6A1L/wj8OtK7ajFc2m0JKQhLAhWHDoOMcHgnOfaqpL2Utuj6+QnJSabON0n wpJ4XF1ceDrXT2gupzPOJ4TL5UnJzGcFVY4Hc9O2a6WDUtI8ceKIG8Z6DNNcRvJLBOqMsbMFOV2n gjOOGU896z9CsLqzudSl0yZJo5W+1eX/AKu4lUZBUBxtUnoAxxxwTiuv+CngLUY/FLX+sSR6ckyb igyXhCty/nsM9Nv3SAPmzniieErQTqynZaW13OnDReIqRgo77kl18MpTpr3fhCaPTYXmMw05SzRt 0AYDopXjK+5969T+F/wxuPDehwXSrdJeqxMLTHmQlRuO0gYAHAA471NJ4w0/wFpckGhhbolvNmvJ yDFbKQcgvK27J5xySTiuM8T6nqnizUo59R1WSa3tkZ3kTdHCvQJjB+b7yhgCD7Vzww8q+yS8z6Kh ltLC+9W1fRHpN34oNxfpbXmn2j24cb/Ok3JCDncTGoJHOO3IyarzfGS48J2Vybm408xxRkxRW7bG jjI2nlwO4/h6CvL/AAtYabDe/bby4t7Ndohkkt7h1iusZ6o64Jz71m+N/wBpbRfAgeK1smvpAQDK jiQqOBxvPB6+nWu32NKjblV2j0lNtWvyo9Ms/iWmuRyNqZtHOC0bPIs0RBJAxkjaPbGRWjL4svNc 0+3ggjtY40+XfbMpCHkDjJYDGea+abz9pG28e6U2Ly3mgtiqxyROYXhBOGV0B3AjjnODWLc/FyDQ tRV7TUZBJGxWJw+fLYqRtP8AfRs8Z74/DT606ctrGc4qXc+tYvitfxYstUun3yEHzNwUsANuAT0/ hOc9hXXH4kmWztrP7VMj3K7mSRx5bDJDRsOx4P1zXyZp3xeh8X6D5k8qwSKuGjznkdDj8Tz6+ta3 hz4ppc+HSFnSVreItav5nDkMQy+zDgY/xro9tGokzBwabVj6I1G5stYnhLWVlJDpyNuuI3CMnUhT txnggD8a5W48KWfirT1+y2v2GzhbzRJEzbTEMAHrzxwMeh7VwegfFG1n0q8uL67Cx3KrcDYcE/L8 xJ7EMCO/Na1x8R7XxQLeTSsWdrYwsIIYpiQwJH3x05yTj6itfZwrfDocsoRS95EHj/QdG8L6Mlpe 3Wh3codpZHmAVYJHBCYRVAlwD1cgAjkGvINV8MXVz4dD6/cxaxcRErb4dTEyKcbQ4HJ2g8A4X617 jfeJvCHiy6/s69sIr+881N/7rzEVhzyrfKgBHJwKr+MNQh0nw15VjoVjNZTgwfY1gCMWGW84kDcV 5A4A4rwsfhpqSUdzzq2C506iat+J4HqHhu1vrDTk1mKDQhDM9ql4RtW4ZFDBQQMq/wAuctgnPtU+ ma/c2xur+KX+0Vv/ACmFzqDbbiQgL+7adSCrDbt6YIIyDyKzdL0Cz1nUZLPU1t7ODJuWjjk8qSOc /wDLOUnI8vlRuBzgjoam+JV7Db6Lc2tjawKWuES3ltGby4sr0LY+cMQQC3HucV5GLg4uMGtex5M4 On0Om8X+CLnx9ptjqR014ILWN447KS4dyNrbz8wG1nGfbIHvXjnj1TcXR1C31HVDeSTgRWkyEpbA nkxt90c9BweOtaXw9+LGoWF/Lo160gkaNomimUlgf72D0bjg8VreIvCz/Ey/txO721xYrkxSAoko YrjGflLZHGT3Na4W+DxEYVFaH9XEpOdk9C1ao/hn4i6sl/qt00Ny/wBlt575ChmnIXzEYsMBwWV8 k8jsa5vVPiVeWl/ZPqclxFLIjhnnlywBJRo3wcKTgHbgDBGDWT4gtLnwxb66njFNSv4ty3TwQTGI ZA2iVizDLchcgHPTtXPL43h1XXYpdDlXFxGVnikUNJJnJ+bgZ5HUY6/WvapYaNWopJJ26/kbwprV yZ2lr4rkM0vkyh/t0brujk3qiMMFWBzg/wAqjGl6jMN8Vn8rcj5WHH51m317HFKvkW0Qulbi4jfa E+Xv68N0NXo/ifHBGqeVdNsG3OH5x9K6k5xb5NjedP2bXLKx3Oq382qE/abhFWf5Q0YKKXBDEE8A Hgd+cUngC91RdXvp9PkCGX9y5JO3a2VAXJIy3T+XrXA/aHe5aHWL2OEQfNEgBaYEg87M5bJHPJxn 8K3bDxXeadP/AMS+4tpLiX90iwWrQIr4yxJOAx77scVhTXLTV9W9jztLtnoL2/8AbGpK+oSwC/u5 PLt7dpwxwCMrIpO4cjAJp9ndxaPqtwul26hwfmdJGeNpOCCrEALhOoGa87vllvvEVvLKunWptyTA N29sEfOdwOC3B9utaeg+J7axu5Yb9j50oaOMQqFiUBc4K9G75Pt0qIxtL3mJq/wna+KfEMSaJcRa dsnZkWXaUPmR5J3FnyOOmMA8DNavgu9gTU5odNa5u9QVPncD9ycgks44BA5XJ65x3ri5dJsfE7GO 4up7O3OUIjxKZGHaPGBsGQOvfGc123w+8P2Wkrb2vhyEXj2TRoC6tudx90ruXK49OmTSnU9olOLO nB0OaXJI7vwvN9j0+6tNXEU8XnR3dxFLJlYmCbQwjIKqSDgKCAOaqXHjaDUrueWNYtL8OaYVllkk k/eNgDkj8wOM+grO8XeI9N0VDZ3c8dzfSgx3gQb1DY+6vQggn73JyK878bavPeafZ2tsbATOd1na SqY8AdGkdsln75PTI9qbqynFc8j6nBUYYX34rUn8VfEu/wDiNqX/ABTNn/ZOhyyMWuL91iecA8yB CCRnJ7luByKqabrOn+FcW+m3s9wqq0irBLKfN9d25xlfTjHSubtPCV74i1dLV7x9T1GST94LZAIo +TlV7vj1IHtnrX01+zR/wTp1PxlfLPr0EtrbOuyWd1CyP6KvXA5xXRSpSnBRgrL+u52+y9q+abPl Hxt4w8afF67FnoaRi1BwhSFpZGGcYDE/N0xxkcV2/wAN/wDgnn8SPHljK2txyrBsVoxKpVh0wv0x 1GK/W74Q/sJ+FvhpaQiHR42lihVSz/MQe/617Hpvw10jRCpsbGNRxIE24VSMfr/jXWsPTjG1inyx 2PyU+FH/AARdv9QsDPfR3Fk1xMpOJeOhHr046fpXoPhf/gjlp9gjW3jNLma/UOI50ORIMEr0OFxk jBr9NLzSIfLjQKjGM7l2LgAdScDp1xVDUYLVmZpMxBicruHz/T0ro5/IjR6n5TeM/wDgl7f+FLyM +GppZZkyAcgqMf3v88k1yGt/sFeJtItGQW8rPNIC6Ajdhs5bBOM4HP1r9YdY0SCUg3cKKpztG4YY YyT+Vcxq3gy0uos3ShkLYVU6hMcfWoagtOVERpubvc/KPx18APEXg21M2mQXdwFtysgMfG/sGPTO Bzj64rz278W3HgfS4otTe+VnlV7gQqPPJUAYGf8AdUdhX63eLfg5YeI4Hgv1cJKSwVRt446+tfJv 7WX7EccVpLq/haNGvYg0knczt15HfP4VMlG+mhlOnZrsfOOifEKz0nw3dXGjNf6dJIwJZ52lkZpN oOUyVyq5+ntzW94a+JFp8RNDm0bxtLHd27uBbyspt7uAqThg2fnx1yMfXHFeCeJPiOvgzX2sfG1h Nvhbb+9O3aQf4RxjHbArT0j4jaN4gv1bTFjVoTj52bKntnnn864anN9pag6Nl5HrN14E1SZ9WsPE +sQanZS7Zra5kswS4z8u9tuN68ENnPauGg0vUNKbUF1S8tZdSmjME0TuTgoP3fJPY9MAjt6iu80G 9j+Kfht9J152MW9Ctw0qW8cTpymwKdx9Dk981k+JvDOp+GfLnu0OpXGn43v5nnJLCd20B1yAVdhg 8Yz3riqNyjZddzwsfh5R1hsYlpp+ka8mnXurWKvf/Z3iju7ecLNKFJHTqQpyPm7HsKi0bUrL7Etl I013dRjapMJilwnGCSQC2T6c11+g6vpd/oemyeJ44RdxwtdWhdQFSPBzlOpHT9OlYDaIut2N40Gv S2MNtcM5t7kgwR7mRlIGMoOeo6jHvXhV4c0+WbaXzPJqR5XYpax8MtN1Fbz7A86XNyrRXKthzKAQ SFDfd5GOD71494/+Hs3wturTWvDt+t7aTuyrFcxDfaSMDgOgOAcZIYflmva9M8QW0l7Np13caWdU hIiuHuZBGuOG82FgVJxnovOMH1rmL/wxa/FbxJfXOq3Vnq1u65FvGpZ1jj4YnIxjAOGz17134OtP Dz5pv3dL6PVDSU1Z7nneotPDbhrm6SZVihmk2Z+80Y3KVIByCCOmDjr3q9AmjPChn1GFXKgsAV4P etHXvHEGsG3glmju9KsI3SxmESLLCr87SUGQAe3IBzjrVyF9HeFGuNesxIVBYfYl4PfrX0EK7lFO rGzOlQmkuVnDaFrUs9603iOSaZC4CNKgwA3fnv61pXfjS71q/t7W8Ij/ALPHl27EBV2/X6Dvmubb UktpVaWTz4584CqW2AHrxzir2kzxLqccaMERrZl8x1DpIXyBg+g6Z61j9m/yOL7SSNrU/EkEpmgl mVEzlcxtsde+D0I9jz3rXtIrhHuIWglW1uYlMf3WVTx91ucE85qd4dQ8S6faW2sXGnmx0xC81xjM KqcEk7RktxtCgZOeleif8K903XNEjm0TVYY7WyQRXslxCqgDYp5wcj5SmEIyd2Qawu6kdXZp+p0U qTd0iD4XaIb/AFBW16KC4jdFAjdN/wAnTH5jsffivZ9N1y30myabQRHMyQeQgMgYIndlIPAxxn6c 15hYeE9K0/T4rLTr5v7JhtwL4ZAluJP4IiTyuc8gdAe9S/FHWF03wnFo2gH7Lc33DYR3bJbBjUd+ wyOKmq1BKEfQ9nL8O73aMXxd8ddF8K69cTJbRS33QyyozhWA4wM5PQYUdSecZzXFeH7vWvixq3n6 jPNBayzfJbx48yQnp5zr0PbYpwPfrUfijwZD4Ujgj1jypL6ZVYJJGxuCxGcbc9cY4AHTmvUf2TvD ML+LIDLtmljlBiiHJznHPZQOfXPtSpxipJLVn0dNKTsj7L/YA/Y10XSIVv8AxFYpe3IO8RfKkaEc /MRy35197eFfCFr4d0+ArDEFgwf3QxtI6AEfe7/jXkv7L/hRtK0SD7UVAnUvgLjp7+nP/wBevbId Xh+yxeWAwiywTBAGPUn3xXtUpcsdTmxcr1OWOxfu7yG1kLMzlUHJ3YUH2Hc8/pVC512RYCLRVdn5 VTyceuDWHrviuxtmzeTNvIACqMEH1Jz+FYmo+ORbWbpaOS+cKxPPH169+abqRQUU9EzZ1/WvsM26 5YAYyAzDA9+Pr0rnbvxNbaiqyW0oYv8AMCQcj8/btXK+KfHy30jLebfMRQDtHHbJwa5PWfHCyyLD DIAyYwoGV6etYOopa3O7kVlodvrfii3M++eZTICRGSASv0BPrzTYPF9vdgLNd+QixE5Cbizd/pmv KdV8Rskx2yqVIwfc56Y9Kwb/AMb3UBP2R9oxwzrkfWiNRPYSWvKe4x6wuqjczRBjjajA5PPPtWT4 i02DVIZIpFiffnJbBBJrye1+KU1oBGtyFEYGc5BZvYjtitK0+KlvMjJeEb3zjAOD7mhVb62FyuK0 2PnT9uT9hHRfirotzc2kccF+oZ0aNAHDep+vrX5reJNA1X4KeNotJ8fI0UBlKx3AUqR/veuR+or9 stW1a31VSNqzBwASw4I7f0r5d/bg/ZH074yeCruTTrdI75Yy8EijLBuSOfTPatoqM1yzPPrPkvJH x5pusT+FLmy1rSZruS2uEVbg5EqhR8u9eCHHYkcjPtXufhvxneavYrHrRinsjGWSUxoPlXBKOwHA GM84z718ffD7xfqHw4u9V8Pa+7kWkjpLbMNyO5wGx6cc5GORXtvwG+JMNg4EhVLK4+XEaCVS3P3t x3KQOCpz9TXn16EqbcLGE17WFkewXunaE3hsvK9vdQXMRjQKoKrkkny2xkHgnt04rhPC1xceFdVu p7mG+1aKGN2CTRxlruEEEKEC4EnAGTnOetdTa6posl8z6SLd4UOy4tpfMUSZ6BNpPIPPAyAc8VTt 9Kik1O7ludQS5tLaGQ20ccCrIqyDmPep+fIwM7SwIrx6jk703tb+rdjwK1FOWu5474qhfxL4wuby XR7qG5SQQGzmj2i0Zl+QoynA+U7iCPlOaIvCms/DK38rWGh0iGcbY2ikEpfoCN6cRgggbTgNzV3Q tZk8NfEDTbTw217daVeXexYRlyZR/CGwSTweemK6bUPGGu+LpJRoFnAdT025a7mtvLKrEqdwCcFg BnB6nIx2rrr4mrB+xhb2Vtn2/wCHMZxUGrI43SfhxDp0Uc09uLC4MazJvj3l1cAhm2kgA5YjrVhf BtiqgLeW2AP+eWf6V0GteMrrWrCS31NI3e3UzJLAqxowYjapPpkkAds1x0uqXNxK0kEEwRyWUBxg A9OpqqE6tdOU3bUtVHskcX4h0ZdH09ZrFzZPBDkTY3Bhg/LgjBJB9ugqla6BeXMunG9iit11B8Bi 4BUHvsJBBxyOxru9ZtrO5mkj103UtrbS7WMO5/n/AIQAcfLk4zniufvfBZn162WMPE1oQ6LJkOuM tnZ1bHYe9d1HlnFK2m5yR0nZnqOo2Eqafb2mhXFxYQpi7EAbfBsB+VMZ57McDqa2vDusWK2Mkesx 28r3cYgkmjkIM67eCF2HGATgjB96h8M+KtP8Oafb2E9hFfXoj8trlWzcxHPz4XGMNhgQD6cGug8P SaPqxn/4QiO7uJ7Ly/Pgly0YJO0Fc/KPXg8Y/CuWU21ax7dKnFOyN/wt8O7O0ZbjSvEdhFP5YeOP yHb7PDsI34XIZ8jlm44HHFYPxD+Iuk+EfMl0Oea7vVC2884AjkuH6AK5OVTkszZGffgV1CeE4x4f uo7ZbTy1LF0WZHJOclS+cKD6E89q+ePjRo3iOW5+0QaZcSQQTFA6xbld8cAY42j24rJyUpbHsYWl yoqeOPFzarezSedFYPegrdzEM806dRHFzlVznJ4J9a+mf2DNMtZ9as7q/KRRKwESMAXkGP4gOM+g zxXw9oVhdXPioJ4mnmM7NulYYYRf7zc4/wB3+VfdP7BCf254xs5ghWOF8RRD/lkgOAzHvkg8+9aw SjKKPRptJH6j+BNXFrommvDkuE2+X0z9fyHFbdzrrTxOhY9eMHHoTz9a4PwvqYmit4Uzsz91epBB A+lbEd/5l0XhQzMcoFPT8TXfCTaZx1Y3ldC6rcSPP5sw3yHKouckjPGT37flWXfWksgdLiaSHYey 55I55P8AhU8126X43W8+5yMMBkDIJ4P4GnmzdbDbNEyDGBkdDnoSe/1q7XuaQ3ucP4p0KaW5H2bl 4+rcjd/n+lcvdaLLBC8twZJnYnmT5cH2x17V6ncWtq06y6lsiK8qWOSwwcGuW8TfZEhTz5XiKthW fgNxwQBz+NRKNtzpvdaHmTG5jDJcxlQpPc5b/P8ASsyQMTKJHyPc56+ldLJM1xcTKzo4Q8MP89/6 ViXlqs2oMuSQQW2D7rGnFW0Etzn72KSAeUxUK5yGHU/WsuK8nSWTyNxIPBHH0r0XS/B0V7blpSob b8pOdob0H51J4g+H0FjZSfZpWEzAFgwG08dMCnYbdtzidI8RXVnGVkkByAWCZCk1qajrqXunzRgg qOcE/wBK57W7Z7GZUgVeVP3TnFJpty11CN/yyt37gdKqCs9DhrNO6PiX/goV+z8NA1qHxh4fjY21 whjvViTABzkFj0GQdv8A+qvCPhj47Phq/VY0murOVlLsyh3Rh93cAOo9a/Q79o3w3Frfw21Ox1tQ 0M8ZDJ1GeuT7+9fl9PbzeE/FklnZ3RhkRz5UjD5GGTwfyq6sVPR7nLTfK+VI+2PCniy08c+H7a40 +KB7yB9jxBNplUgjIZT97jvUkdnbw/bm0m21CNV2BVedTtBbkwSBR8y8HBHX+LseF/Z2g1HWbWCP xJPBIkjRGIROgZirdRjDcA9+K7nx1qz+GPiZb2ujyKrG5Mbhbb5QuAWz/CwxyOK8WrR5m5KzscOM ppTv3OJ8Q3mjeFtEs/tT38Lmdri1uQAx84DDK+cfKwbB4zySDWFY+NFXXotSxHNNayFo9PnXe00e 394h55DZznPatf42aCuv6ZNP4anF1b+aqSQgEQpIylsYxlMnggn0xXAeENWGlHOsQzxm3UyEiIqq jkbC5+6SQRn6VjTw0JL2qu2/yZ5WJtFq253WoT23xA8GX8elWM+izQuZ4AWMheNT8ozjng7dvPQH rXnk19DbzPHeaLfyzISruCoDsOpxjua7fQfiHZWfhBLS3cPqGwu8Ux3tCrN045YAZGTzx71y7eHN OvWMy6nGgl+cKXGRnnFbYGT5pwmmkrWT/M45+8atz9rUXUWr/uDLiRGDKfMPIznPTgZ+lTaba2dr plxdWk1vJrjJHsZ5maRF3EH5F+Y8EDpjBqd9E1jXrYPGIcwMI0EsI84nphh1zj9aZ4fnvJb8w+It MtlNsTEhCeWPMDbgTJtyxB/DAqIVeS8G+v4F8rck7HceGrJX8PK0MKyXG0qxMI+fnrG3ARck5z1r X0C1stPK2ulgW0Mc5a48lD5U0zLwPn/ugnkE8k8Cudu5p/D3h1DcyfbYhtlKxtt8iQnaCZNuM8kh eSQDXTeDNNXU5pB4Wuns7NZWjmmeM5lbqUjkbn0zjnrzWkldOXmejhZSlJRjqaniDxQNJ0R47e1R 1ghKq+PKbe+cEKOcentj1r5w+J/iGPxOTDrsurWNxk5W3cvGTjj5SRt69RmvpP4jWTaZ4HlOrypN PLERsjxwP7u0cIBjOSc818QeK9b1PUtRvbbTJnHkhjJ5a4CqDycjoBkUsNF1qjitz6aFNwhdmloG hrba/HFBcrPM3Vc8njndX6Df8E7dNS58SB7ItlUEe08hMN7c/wD6q/OPwn4jj8N2n22OTzJ5pFRQ RyB3JFfoZ/wR58WL4y1rUSQX+yyckD7uQcgn6gfnXdSjKUnZbI6opRp3bP0I0KFopkS33yOOSvb2 /Ouk1Dx/o3w0sTL4kBuZVyNkLBQD2ySeuTTNL05PD2itql88KxxAssbD5pM9OD1r5e+O3xVudS12 /e4nSK3QlEjiABx7468960V0lFHH7S8rfZO++JX7amkaTqbw+HIRDJEqtIZs5j5J+VgAP/114l8U v+Cp0Hhe5eO1t47lI0LvtIYMQOOh/U46V4P8WfGWjzXk02qXSw7xhvPmwOnbJ4+leR6v8SPCcUpS KfSGbkZMikr7D/CtFRb1s2YSxaTsj6Yh/wCCtVnrVuY7mymVXGzOdwQHvn8qTTP27YfGuuqkQkiS XKANng5Pzc9PSvlWw/4RnXZv9Cjs97HIEWBz26Vt6N4LaxvftOiwgFRjBOR6f41nZ3saRxafU+1P DHxlTVbV545t/wAgGc5zn2/Gl/4W1bCR2hnRSil8k9B3r580y41HQPDxkVdxYAbdxxx6Vx+sePLm zFxLLK0RUZQbsc981o0krM2+sOS0PqS5/acs9Kjgt7m4UhzgkuMc/wA66RfjXoupW5NpqdrK7AZj 88Ft3cED8K/NP4k/EW51i722EzAqQV56nPWuKl8a+JkuG+xXsy5bd8rlSPfIqVJJlOcnFH602Njb ay7y2dzAJAcMgcMM9c/59Kz9S08+E7hmn81xO27Ocrk4yAa/Nz4Y/tJ+NfAV5GNYv7x7Zm4YvuKj 8fw4r61+B37ZNn4ysYNM8ebJSfkE68OpBJU8nA64NaXcnZHO4yd2bXxp8WtD4Zvku2ZlaNsbu49M 1+bXieKLW9euZvm/cyuhbGRySQcd+tffX7Vd7Fp3gq/msZl8hYmZCCOQAelfnZo13cyatcXsQQ29 w8hcsQBnJI4+vNXVi07oxou7PVv2d9SvfD2v28mnxyyYYI4AwqjPOPTNfSfjGyj18XHlrBG8nyRz +Zh0kTgkDHTn1r5o+HuvEy2NxarPv+0RxTNCNrBSwwc/xD+gr6D8Qma1naa0hEt4WRyhwY5lzyuO gOMt1HQ1wOHtIvmMsc7qPKeYQSanY+JpBrF49uYZzHMwYkuvRMKDyeMgYxVv4x38OoWRit4p5Lae MukVw2AylsbFZC2Dkg+3NYnxO1iHTvGaNqMUs0M6MJfIk+a2BPylOSQRg9unerHiXS45/B9vfRxW sqW6GKKS1KrNdOSCvngHO/AwM44HHrVuFNxj28l/wx4EpylZdtzIsvGUfgvxLLb+NdAubK5sXNrP CYtk6oEHAGBnqDuzg5rkrxtRvbyWaC52pM5dQI8AAnIrqPjn4sg8U3ula9eZuNTMKw3PmMdkhC4A wD1G0CuG/wCE9d+Ws7AE84CcCvQwmBw8pSqUqfN3uzOEIP45WPUJfE9/4kuRfWzzDyozJ8rlUjHQ 8enI455q3pPiW8vtJgE88sxtW8mUoVG0E9Np+9kY5rV0g6l4gW5sNCs7eCS8RppWMcYcREjcoJ79 O+BVHS7NLHWvsvhq3Z7Wwv5IIJZdkrl1O04lGeMg98e9eJPDqoue+myHG6aVjd03Q7863a3cGrai 2nYSOLT0j8qOaVucl8ncOoJI+70rvvCWsT3dnPqV4r2+yRoIbNVDW8UnQ8ggZUY5APJ69qyNA8H6 jrtq9rp1xayajuaVEiygiJPCZOMEDrjr2NdVB4c1Pwrp/wDY+u5uma3ULJgN5YBDEHtuLAk/QVap yXuLyPRwseX3n3OK+MV/NovhGK2tV2rIGd/mO484O4n3PX3rkP2VtJsdQ8E3mn3GlrqOpePtdk06 UJMYpYLaKNOFI7F5WbHT5Rmup+PHg7UW0qV7iK5itxGQDLtVTgZPc8nHTP8ASu+/4JN/DS31a4bx Dqu1tK8Lz37CRlBCTzxwJGADzuA8xs1z4WPs/auemz9bf8Gx9hgJUq8feV0eBfFT9gfV/DmpOPDw 8yzs4llIONz5ZgVz03BgO/Svpn/glf8ADX4i/DzwZfeJfgzY6HrsLkS3ulX4a2a+XLD9zODhZBjj PDcAkV9S+F5fC3jDx7J4a8OSrfvaotxc7kwDk9BxzivpT4SeANP8KfDWytPDtpbWEK7hEqIBuUEk Dj3Neth6t4OX9M5sZSdOTVt9j5l+KP8AwU1+F2h6ONL+M9zrfgHVY48T6dqWnTCW3kII2mRVMZAw TkMQQeDXyl8bP2jPCfxA06+1vwH4ne98LwbYrQ6cGS71ecL+8Csy5igRiBvADOQwUgDJ/SH4reE7 TUtOkuL9LeRJZBEVkQSCfAO5VU8EDH0r4w8J/DjRk8I+dYaPazapa6pqkTbIE/d/8TCfhUHyxjbs GSV46CqpVaWtk7+tzypUZt+87o+G9MuzcTX2ra78N9X8Ryod1vBO7Q2ac9W3HzJT7ng/jXm/xC/a T1iW6e01f4faNpEB+6sFi0fl/T/69foR8RtX1LTtNKS6NDJFH8p3SK74z3284r5e+KNzpWqancBL C6SYj7iqT1PrjJFdqxFlZx0M40edqOx852es2z30M4U2EshB287W79e1fRfwY8Q6xoYivIYbnUbC I5mtpW3u6Y5MMn94dgcg9OK4qz+F02rXcWdEMsLOoInj4yemR1wa+gdNvtP+BPwXvNW8TafaWFhY ENDaxgqJpyT5aKSDglvy5q7c1kaYhwowu2e3eEPh7/wnnhW3utBUTwXsKz28io37xWXcD7da+Vf2 x7GX4VX628+YpmBJA6kk579sGvo39j39ka1/aD+CVrqGl2lxp09yjTTX76neMu+Ri+yNVmVVA39A ABivlv8A4KPfs86h8AdZtU8Q3V5KrApb3P22eeGY9ApWZ22EZ7HoKxnh9Wr9RzqunFSaPm7VfHE0 twfLc4OTj3+lWNJ8YLpshe91K2QHBxIeV9uKh1f4WP8A2j+/u3SNOsax5yQeuR16VZu/2fLTxFK7 2V9MZMBiiBRg+1bKlSiruNvM5aksRUacV+NjdT4pAy7jHb3cOOWibOD/ALvat/w74yjM0U+nloo9 +7crcAg9fY1yuk/sz3kVwiWE88Ks2TJIQMfUVq6D8O9a+Hdw018q32nl8TtAgl8jJ6uvbp16VhNU Zu9N3Z24bnWlTR/gfTPxn8XP4m/Y/a/MyTGQ/ZzKpGB8pIOR34IP0r4lkleeOG0tAqrFGXUEcbvX 619AeNvGdr4M+AWo6XHPeT6fr5CoGsyi210BlXxkkKV3gkDBwK8L8N6XDe6LLeC+t/OtMJIqP8xz kghTzjjB/D1pyUnHnjsYRmoVJUX8TO1+CdjeXGs26yTTbkddm5+EPqM9On0r3nxf4hj07WpP7Ted rc3IdPKIeObOMrk8LyOB7/WvP/2ZdAj1PVoS0Mr3E8iRQlFyWYsAPl/r6Zruvj74hbwvdaraaHvn uYp2E1woLpEe6YHfk81hToupe/VmGZYmNGKS0scN4r0xdH8dwXV0JxpsziKRnvhHMq5P3Dyu4K3A 68Hjmuh0Lww2mwS3ngyW6a2VCxjuC4jlUkkFmQYL4wBz3NeYQ6ZrfiG804s6XUupXkawxthFkJAU EA4weOvfFfVHhWyufCvhlF8kzeThZkQBgpHGCo9Ofrit5Q9lBK/keZBqd7o+efFHg+x1q3iiGqzW d9Jb5uYpLeRWDKT8qrgBkGV56561ySeAY1QBtRsyQMElQM/hur6P8c+K7TVtWjnt4J7e6S1kWO8S 1PO/CmMr0z8vauLi8FQSxq0uja+7MASwRsMfUfNXXg/3EXy2VzmcdfdK/gXVZtFutWl1a4W3bUrT y4XAWVYH3rgYJ4zjJI5Fen+BdJ8R2d9caJojadqltfzC6ivTCkCoqqxZZQp3gYYHheay/EejPZar ey+DrWDxnaLZmWS70/S3sWhAUHdlVdAVxhuAM5Ga6vwzZ33hPWo5/FPhfXEuJkhlgJ2XQjfAKq7x nONpPyla8TEVIOpaLVu1mka0pKWjRp/C7U9P13xTqY2WsuoWxdfMtXaC3iMYxja4yS2M4HHvXofh PSjqUjPrA8uGzLN5nzMGXIwcIGbqcdP0rDe80rxf4jurrSnsrc3bhWtg6xTRyDhhtcBmJPt2q9pf ht9BjDRwuswO5/Mj8tjzx169MVz1KkIrVHo4atCK+Iwfjto9z4wsnsLGT7VbRuJAsS7to+Q9Rg/w 4JIwMVsfsO+BdW8I/sZeNZtBR1mk8ZSRycgkIlrEQMj3ZvyNQ+IY0ubS8j1ECUTxIgT+5g52tnHG OR1r6g/4JsS6XZfCXxtp2txWVzBaait5LBcIGTZPCiI4z3VomGfpSpypyhPlfRfgz3MvxCjW0d0Y f/BOj4JO3jbXPGniyTeLeD7FAh5zLKec/RFP419MeAfFKpoKQSyLvikkjwvU7WPGD0z6e9cP8OdK g+FU+twaXqWmXsGsXCTW8MUoMkTKfm3AdAQQPwNWPAd4th4k1CKXb/x+sy9MEFicAfiP0qva3Xu7 WR7GPs5p30sdp4osIfF+sxQSybpIoTGCfuoB6/QdT3rwj4lfDzSvhB431U6i5i8I+JroahDqUjYh 0/UGRUmjuMD93FKUV0kOFVyysRkZ9mizc61J9mkG+7ba2DzsBHB/KtPUtPs7awkW+iinV0I2SAOj L33Ke3TjvWlGPJr0Z5ahzWsfLXiH4ZaTBFumiFwsiDYUO5ZB6gjhuxyM15H4g+Dul634ieSztYll 2sm5+qZPTPTH61718Qfhv4c0KWWXwUdQ8NTM27GlXZhgJ558ht0PfsgryLxZqTaDG2/xfeSdsSaf bSMCMfxBV5OeeO1dcaqSvFkSwyerWpn+HfgzpWhgoima4lYKoX5gn0/xrP8Ajz8LYPjYtn4K0pYr iKWcf2nOiB47BcAqgOMeec/KoyVGXbAxmbQdb0zX9WEerar4h1qVmGbeCZLKNl/2vIQOR7bhmvef hT4PhtZLY2trbadZwZWK1hhEccZbkkD16Ek5J75rR1JaSbuXHARrLlktD1f4C/D3S/hD8E7TSPDK eVb6ZarBCnGdwxlsj6fjXxp/wWK8DJ8bPhsNLaRBeQf6TE4X50kQ5A9Tkfzr7q8OaHPb+GZWmZHj BJBbgDJ4GT9fzr4v/bI8E6zrGoz3kyytCGbaUIIHoSf0qYuU58y3OjFYWEovTQ+E/B3huz1fwrpz aiotHSIQP8oJV0+Ugjr2z9CPWptZ/Zpv9RYTeHCsxB+VozsbnrXcaXpMOgRyXpVFvI22XFvck+Rd hSQMlclHAPDAHIABBHTvvh18RfDF3ckXNpqmm3HAysDXERPTh4s/qorVzd7HnRpyi7xZ4hoH7Mfi u9vB52oXYjDYdd2ePQ9a9P0P4a3/AMJbG3nudJVIUJ826DFjGCepPYccjoc8ivedI8T+HbaJjFex 5HJP2abL8Z6iOn3OvXevAQ+FdHvdV8xWUtdQmys06/6x5QCwI/uKxNFSz0UbBJyluzyPR/BUPxO1 rWdHurKxiu7TQb65SMRDc8k0flxbT0w2S4HUFWwOK+MofBUmqa3HbvbrEs9lHPuC5ZA5Oce42n8s V+iPwn8NRfD7UJ0Z1uNRsLozXUo3hGjdSqxorMSqIjFFB54JJJJr5h8GfD+51PwDa6xpkUq3TzyW qOq4KRpI7qQfX94B+HtXPVSULX0Jo1YYNVMQ1fTbzb0M3wHexeDmsLfw8Zba8kljjaRlBaMkjDrg fKQaPj/fDTfFOtQ3Ma6lcWFw0P2iY7ftEqkZOAMNnqfpWxa/DjWIPFWmXkOn3W/z4mLRnpzySB2P f6U349+FNQ8SfEjxl9p0TULyzN2SskMTHd93BRtuOox6YFerQ9j7FSi0++p8Xi686lR82+p4NFrd /qOv6RNPMwura8VgxOwx7WLDB9ADxX1t8Oby+j8OSyR+fJJjzpdjcjrgn6Z/WvlzTfC1/aapZ2+q 2F5aWjXqTK88DRtsHJyWAJGB29K+kfDfi1ZdLul0CQXEhAXauGDDOef51lirSgoxZ14NpL3nqXNV WTUy7TAYyZHXOP8A62fpV+H4k6raRLFbttjiARR1wBwOc1lWujeINTheVdLvQNwD5j2A5PGN5GR9 K34vhHcTRK91rFvbysAXidzuiPdTgEZHTgkVgoOWiZ081tLHl+rW994g8G3eqfEnWb60vxA8XlyQ fYoVjIHATCKoPTHrnrV74b+D4H0L7No1/rMtrJMxmmeEeVKrAcoVY5xg989Kmu9Y1PWvCkmmaTqY u5HyskIiLbt20bMEe/Y16F4c1Lwz4h0u3/4SibVfDOqW+6GS802KOG4gYYUMj/xHqeeOa44YmlUj aatr/XQ4lU1syl4S+EWjjQIi97qepgOJojLbrECwkbgJlgCOeeprd8XG6+HltD/wiE3iC1UKsqo2 XgckhSrKVZDuJAwasLqdxdTS2XhbxtfanaBmZE1O0iWaYEcAurK2evO/HtWZ4v1zVLK/tbHWbK6W FHjEt3FcGVXIYMoCscBmZQAN2Olbwpxk+aE7+R1wrRnG1jQ1PxjeSeH7STWNF1De7bGNtZySsoBz mQLhVHPp0ruv2ePjJY/CTxdjWItYj0PWE8m+LKpVYeGWQc7htZR1B4ryeHxDoej6SLeyvNaie9iV bgXoNpI5G7qXyrjBPCsfrW9pWjR3Pg6OXddyMspKxiMK3lluMkZyD9axqUFGd3E7MJVVOamuh9w6 V4D8N6fqlvqnh68huPtAWSNopP8AWKcEd8EEc9K0bqRYtTna1Y/K5kMijscZ5/Ac1+cfxP8AiV4p 8FxI/gbXry0gsHjmWF5MFQDwvpgng1+gvg7xdF4++G2m67bhQuq6fDe4UAhC6AkEjj724celc/s5 QV3tsfSyxSxMU0dN4W8RSRRv5ku51JEbEAmPPXqPSs74gfEwRW0y20oXYoVN3JBHqfrWNpTy6Xp7 y3BVUBZyc4YcfzJrzDx14pFyl1JI7eTFknnJ6/8A66iKtK19DONRbvoUviV8URDbyS3Myg4y+Twf p7V8w+MPiWPGfiprPTpXYqcMV+oycj64rlP2hf2gLnxV4zn0bwfJKdjbZWXkIOgUCuy/Z3+FFw2L rUo1Ms6g5ZuR/UGt4UZztZaFurd37n0X+y/4attM1iyXWbeGy065I3TZU9uGdjyOlfXVpp/hqCwR UurILGdzMJAMfTFfJbaDPo3h42rp5YZc7Ad27PGTXi3jPxN4q8D+IHk0TxLqcForj/RpJhJESewB GRwexrrnQk4e67HTHExhHlmfop8SvjpoPgnwsLb7ZbGMIf3aBeSxPOQf0xXjXjj4reDPE3hePT5m DSXUTGSVj/Ec9APwr4f+I/7TDah4WkivJ44b9T8odyy9eSDXi/j/APaS1O0tLaPQrySeaGMLuQnb nGPxFckZSi9XqbRtVVj6p/ag+H/hnw98M7zUvDk0Ed7FEWKK2RJgdMZ618p+A/Hx0/UIwzNAp4x/ dyc1ymk/EzxF4uBXxHeyzxsTtjHCimalqiWc+NrbmPPHQ1pWlNrXoZKMYN+Z9XeC/jBqmm2UXlaj IYxgqN3GPYV2GnfGO5utSR533PkZbrxz1FfJ3w5+J7Ss1jNJGXyfKYr8zADkfgBXa+B/GbXmvJCW OXJwM/MMDkVjCtJ25jKpR0dj6N1rWo5fET3timZNY0e5t3QHBkljUsnPY/NgVgReHdP07QdFtNIs FhtILCJZY3Zwxdcqck4DZZWORyQelcjLd3HiG08uzmW3nhtZirbsFc7e/qc4zXUSahe29rpUcF/f 2jBFicx3DL5o2McMoIB59QarGcrhyN7ny2cVFTpKN/ebVjR8MeGoS80ulC7dLWTEgyfLRyc7QSMM AQeB0pL60ebUrh9MkmcSSM03kliqHP8AFkYB5PH5VnyW91ql9HbatcQXSQhXVp4vLEWGGWLRFD14 JJ5ya1dV8bajfapPD4g+1XggkMSNHdlz5angJHNjACngb+9c6p0ZYV8ndb7bM+TqVYyjpe/mQS2K X9uptgElidYz5rLyMnO4gDP45PvVLTdIa2njmsJEgaF8PsA2yJyMEAd8dfrUv/CT6HDG32+VtPLP kvd28sTY5ADlA6cnvuHarFrLDvd/DTWd8lu7eaRcJKoUc4Ow579DzXJGlOWyuvLU891q8lf8iMaO 012zS6jM5OWbzkLCMdW+UHJHoAM1y0Hjr4eCFN/irTYjtGUfRwGT2IY5BHvz612msxSy6tYw+NdN 0/w3banZzXNteyXct2blVlBWRYWkIhGNyAqA2Bg+9PSvAeh63pdte2Xh+CeG7iWaOQT2C+YrAMGw 9yGGQc4YA+oB4r06eDdP4dfwPSjGpBK7v8zwbTNcg0mSV7DzopJFCr5kYxEBnOR1GcDtXQeGvE8W rxXS+GkjYtj7VJD03KSQVJHBx19cVxOmmDXvOk1S48yeBR84Q/N2G/bx0HXtirOmaxLo+pxyS28l pbzOY45VHmKB2JYDvk9T3ryY05JNnRKjUUk07o3NXeLUreaNruT7XAzBSYckZ6dRg559asaX4y8S z2VpZeJ9UuLiGwuI7i184BfIZOVO4D5x29s9abbakmlX0MVzczaja3p8xWZEMQH+8OeKgvvDvhzx Pq00tlHfia2bMU8E7ltvTC4xuGeMFTWtOTTu9yKdCom3fU9Lsfib4hQQNPLbT2rMxnhNsokcrnJy vPAOM4PTNdNZ6R4e1O4muLDU9Q0PzAGVjcMB9CylSQSe/wCteS6f9msp3htUnWUoVCs5YMFH8RYk qc9RUWp+PdPsbiOOIyByoZuTsB+mOOPWrhialFO34nTRqTpp3Nn46fD+40bwVfXFvdJqavsdXiAL ON3fuc5P1NfYP7E2qtefsn+FVuVKtDDNb7emFWeQAHPQ4x+lfGlpey63ZoZrxlhjk3qjSAo2QMAD POev4V9Tfsa+If7U+C13bSjyZNP1OVQMn5lcBgVz0HByPXNdVHEfWaTXKfR5RiOdOMtz0vxjrph8 Lyi2Y5VWz6g89PpXz38UdZlb4d6ilpIfOkjZwwH4dfrivY/Gtyn9k3G6Qbn7BuDj0/CvKJdFNzZz W1xGxifcu1hnAPORntzTS6npVNNj4z8ATR+E7T+2tetxc4mkkuv3ZZwVc5wOuMDNfQ3we/b0+Flr dQ2VrdrfXL4+RIiAc/WmaH8H49J12+s5ogbS6k8xdy5wTwcemfSvLvjn/wAEy7m38U/8Jl8AJo7V 1ZZbvTnGI3YHLGPAOwkDPpk9q7cLCNT3bmdSbc1K2h9gXf7YHg3UtGBgsZPKckMWYKAMfXivJ/iN 8RfA/iu2la2hkeZsgSRXWCGx0P0qP4Dafp+u+GLzR/E1s1vrAs2f7NcxhJN6NhsKeqlSpyM+tenf Ej9lHw/aeJfDiQW9rHFqKBHZUXauYt/GM88Hn1NCqwUuR3TOibpq3O9GfDvj/QdE3ytYXeoMGJ5c h/y5FedyQacHYyeZMuMgt8ua+y/HH7Iulap46kjs2eOzt7Z5ZPLPCgHHTPGSVrwjx/8As12Wk+JN RkspNthBbeapfqHycKPUcfrWdaULJo3w2Lw00ouT2OO8PfEjw74YtU3WKuxU5ZiM+9YPir4jaL4n YnRniSQfewQTx+lcJ8crb+x7a0tdLkWa8ZQWSMZMRb1x7Vz/AMNfhDd3F0J9YZkiOGxggv0P5Vca aqw9o5G06kIzUaUb93semeHraVNTsrq1J3m7TYo68tg5x14JFeo+GrkR/ECJIHKpHJvkKjOVwcj8 elZHhzRIdLsG1G4ESw6cMRqR1fGB/OpPCwaXUzcTnbPcOS2OwPb8q4k3Ofc0pycoSk+x7/8ACqMX 2refIgcLC5TdGsgBXHVW4btx710viC8m87TJ7aztZ/OmYyxASRzMQjYZAxdVI542964z4a2er6h4 dlufCllc3T2zDdJFEXEXcA4IA3Fe/BFXIfEXie28UIfGFksU6xrJBHBcfNtZSAFEnbrnnr0q66qK tG21up8HnMXUxHuvY6tkt9St2tNcj1ayhuVO+C5tlmjfPA3eUxJ6jqoI64zVbQdPj0W0jsrEWrxq StvDGw8wgHssm2Ru5xjNVNL8UwW1xeRW/wBskMedoBUy7s9WJ2nr6En0Fby63Bd6X5eqRT3RXaqW 11GXYrz/ABdOa45VHGHs6kNN9DxalGT0WxhfESOfR7Rm1GGe2dpEUF42jGNy/Nz1FXLC/wBV0e5h l8G+JJrCBHaRIhbxTxO5XG5klRgxIyAeo3HBBpPEraRa6E1rBLfaZKjRMptLpkHmmZc542EbeSGB HHStaO1u2t2j/tHTb/epw9zpwEz8ZGWhEeOxBx35zSg404KVOXK7vVr/ACON4Zw1i7M5W2hvbWSC 0GsXNykR4hkk3jbwD+6kLgHnrjmqZ0uBTiTT7LcOv/Evsjz+C10st9clA19olzE8ZyZLWdZQvY5V 4weOvLUqXenhB541Ivj5iLSLk9/+W9Cq1024zvfz/wAzG9Vfa/H/ADPAV1X+w7h49OjaJIwDuEAb cW6ggEHg9jmpX8aw3VqIBa6jDeeftl3L5YdiTkjf93j8qoahBb203mrdYkSPCYYKJGJBznPJ4PPa tfw7cXWs+HrmdJhPYI6i9Cah5X2hs4Cs5GSwwflByfWsHNx1sfRqrK7ikWQ8celQJqdnPbogMp3O GjC55wyDAb0ODS2OuXGmIsdhqyK07lkW5AdInxlVDJyCQemOa54S2mheKbb7Pf3zeUMqpT9wA3BV srg+n9a7CHVYLzX3aG0h8orhmWFStuAcqNvXHUjHTNOVVL0M1WUuhqaDqstpATqHl+fMm95wgkV+ SDtzg5z1/CkvbbRb+bzr0x3Mkx2kTQbXjA9ADjGcD1qnYqNRDPeWjtCCUHkyOqbDwScfdJIFXtD0 u20izMNpBNNDcn5GkfzfLOT8pY5PY8msozcd9xe15VoylFHpNl4rt9L+x3se5d1vcJbOyseAVLDP XOAO/rXvP7MN1N4F8V6hpV/fPOur26sqk/LHLGWYAA9CVZ8/lXmem2726JZfM5uCVhSIMVYjlmJA +UAHqa5bxL8SW8CeJIY/BdxGdRgfcA0+5gV5xtzwMZz+NejTm7cyR7OXyk5KzPrjxRbyajCRbXD2 8sEm7hQRIoOSMHtiqeh51ZwyJsOcvnGQDnAx+Vea+Evj7D8QfC1pqUUcsRvmePeoPlGWPiSNGIAb aSvTPBHtnv8A4eeKLedsyuRJKAXzjg9BnHfFdLhNdD1lPmdmaXiTw1HDbpc+QQ8R2khRlh1FdF4P gVreRQuI3APlsOSMDj860xZrqGl4ZwRgbST1/wAai8PaYzK5IIKjHfnnHB9sdaIS5DvjCL0sYHiz wZpGqFrjUrNJAitGJYVEc0YIwQHGDz9a8M8ceGBpHiLSrrwp468ZafDo5Y2trc3Au7WMkFeUcZIw xGCa+hPF2kXC2kgjDoTwOeor5w+M+l62kN0IbUtHj5SoJz7Y/GuxT517243UtpON0cDrnijxrPr9 2E+I9jaRNC6MsWmKqzRkg/OCTzlR0ryjxJpMlzfXEvjbxjq+rtcpseGzK2kLKCSBgDP8R54Naviy XVVbyxaZQZDEDrz0rmX8P6lqc5mS0MKnJOBgkjvWU5qNvdO2hDDrW34Ij/4QnRxm5gs4xI5Byfnk fjjcx61ag8ItLsjhDb3P8OMAf5/Kuk8K+CJ7u3DOrssYLOx6E+n4U/xgBo1qzW4UTohZFX36VlOq 57mVScXNJHJeKLzzb9NPtWxZad971ll/DsKt+Gl2SK0Tbyz/AHiOVz2xXLNP9nwVHU5K/wB4k/41 1fwsiW88UW0FxsHmNlvmClsAnaCe/FZ4WnJuyLrTVGld7I90+FX7XT/s3aHBpd54btdYttUuVklY TPFdKSNuQTlCoGeCB1PNer6f+1d8JPi/A0GvB9NkhDZk1KMRxrjrieMtu/Svn3xz8NJfGOuaXcWo hkjjmE8dvG6+Z5Kj5k+ZgWCtjJA7dK4m6+BOv6PoF7BNaXIedFSOVCGBdsE9DkcLjn1r04ycou7P z/ETdWpKfc+vda+D3hvxWlve/DfWbS+jLKAjagkiuAd2EdcMpPHY1ynifwVrPhSTzPGlvrOm28KZ MxU3Fsq9GIk4yOeAcHFfPurWlxovhDR5pC7C4kn85pgFZGGNoIPbAbnnGRUmh/FTxr8NfCd5qPw9 1fVdMuWvIbfbHdu8Up2PI6hc7V4C9vWs54OlX3un5HNOHMj2jX7vw5cWQTwzfTancebG+9IsKmCG IPUc+lVL6y1O5/494VuJCrFm+VFTcevyEEkDj+led/Dz9srxP4w8RXNn480HQNcSKCS5uW1DSYB8 qqTxNGivnI7nvXZaX8eNH8QwSza14DmtTcurTT6Lrk9psztUERSCWN8HA/hHHauOWWtx5actPM5l RqR15r+qNq6muLHULGW41u30y1bEMlsMSNdSHhEVSw25x6E0p+IQiJX+1ofl45sTmoH1rwTd38ln Y694usJoCwZ9R0iC6gGDwZJIpFb0H3TWv/YWziLx74KKjhS2mzgke/NcryyrF7XF7HnXvo+YrWWy 8PX+pW2t3CXL6dcG3jKTRGCTaSrAHJDcgYIJz6mrljY+GfFl41vfXkujnb9oEsMTSmLA4KKOp/xN cb4H8feI/Ddm1noHhqx0ZrsSSDUjAsplBIIjVJcogyMbkUNyQCBXWaRrw0W8+3avJpdrdp8s9vao h2kjkDHA5YfMvvXfiMPCGqfU9WMYzhys6m61DT/D3h6CGOyudQnaJo/tc/zRSM38TjHBxzjFVLLW J2s4o9Ni0Py9rB2eXbcpjqgwRkdTg9M1Vg1n+1daiQWkupxToU8qOAu/TnYwOCenbNbN5b6J4b8H y694ut7rw/Bp8bj7U8bLzxwY5Mhj8wx65rlq0IuPMovmvpYc6CjFtPZGno99HFBHJfW+nWUdtGZW 3XoEcIzyzFuoxjqTXjfxa/b10PwRfXVh8PNMsvEsyABJpy0djFIGzuCqQ02Pqo+teA/Hz9oC4+JW ryxaDJdw6MGxGkrDzJwOjSAce4AAArzOKN7mXOdxPPFenh8lpxlzVbvy6HByR6Hrvj79tDx98Sbl v7Z16SCAgIttZxi3giX+6qJ1HuxYn1qx4K8dTW+lv+/2S3isGkK/NyeQvoWrySPR2zvnZQuRxnJr Zs5xEI/KkYFW45JxXqToU3FRUbeh0UazpvyP1q/4JveFdM+JP7A0Ft4mga7Sy8Sag4P3ZIWKREFW XkNgnml1lNU+C+vMitPqWjuwMcxUCaJewkx17/MMfSpv+CNF1Jd/sX6rJcx8DxLKxGc8NbQdR+Rr 2Dx74Zg1YSr5aFVz94c4zzXkYhSpV5rzPq5pSoQqR3aMn4e/G631/TfLt3jkG0KxJG6I8n1/Su98 M63b3TM5uMIArNhuhyOv+HtXyl4j8E3nhXXXutAmNsc4+To/sfUcVueH/jPc+EpJE1RCrShSzg5T J6/QjrisuRXbMoYlxdj62g1m31S323OwNvIHv6HBrkfHulaJ9jkEyICikkkggk9/avGNR+PQmhWS xnm2quMIcg55yeK868ZftCzzs4N0yRgksM/eHoR604pQeh6CrxlG3U7rxD8P/D15qcjy3CkTNnbn G30GT06HiszV9B8OWsYit4LEhvm+9nPUcnNeI3vxje8YtNMzFeQQcA1xfiD47v8AaD5DkGMEBs5G R3/nTddQdghGVXRHt/j670/QrE2mklYhH8zFDx9K8X8aa8Jg0gZevbnj3rA1j40yalaAGUsWHzEn G49xxVTwxv8AFniCOTVCWgiYMI+isePvY61F76mqpunuch8SfiDaeA0juNTjnH2wN9mAQ4m2kBiC eMAkc+9c38Of2w5fCPiOL+1NKs57FZhLllJlXnqGz1wT0ra/4KIKJ/EHhOGEhVi02aQKOigyjj/x 2vnC3cNLhzkGvWweHpwSmo6s+YzbH1a1R0W/dR+ofwR8d+Gfix4Q0/U/Dd9uk0+Z2MUMge4G9iWW RWOcZOfTp6V22v6XFMNTurfUrhYy+5I/sw3PxwMqQB39a/KXwn4u1r4catDq3hS8mtXt2BV4mOUP bI7jjoa+1v2av289H+KqWGifEVbfSdeZwv2lsR2N7jgBs/6pj7/KfajEYWycofcedTqczPorVtNt JvANjavFEbzV4orh5Xt1ZYIgWGz94rZ3Y5xjiqPh7wHp1p4I13w9eNGmjas0ckqRWKGRJk+5LExb IYZIrpdb8L3moCzYyWMSRxkNvmWOOMZOMt0xjuPWptC05nkeC0vtMuSp5jjuA0hPTIHXHWuCNTkT s7HTJKbvY4vSvgJpeg2V6fCV/dzfaozbTPeQxKfnHQMg4GAeoz71zvh34A3mk+L4Y9KuoFsop1mM cxZVm/jbL5YdVyM8enWvXfG+nNd+CwIkghv5L5NwSfehVcHBIA+YnkVDaWC38kk1xdRW6qhM29gZ CoU4VFXGSTxngDOc1DqTi730EoQlozxKH4cap40luNLh8Q+HNVsLjVGnli0+4U3bQlwWhYOFfhsg kA8DitbVtC8V2mq3MWk+Fb6a1ilZIZBNFiRASFbk9xg1V0TQNf8ABuuSarr8ukxaNctMIntIJGkj lzuAZhkBir8nOOKuDUJJBuEmtuG53C1f5vfrW6cumpz8qWljzi6+HN7FbW0viPWDq+wZ/wBNtVZb fB5wI+PpnNWpdFtNQZ9Sto/tE3mBEfySoIUk/I3p7e/SvePDf7Nlrpmj3L6+YppbyRkiG9vLQg5Z 0jU/M/Q8gL6A0+H4AzwaJqH2rVNNhs7MrclpBFb4TdzJNMygxqijOMZPrXHPD8yfva/5nUozg9Nf M8O8VaI/gnR38QeIUjtdFt0/0kG5HBPO4LhT8w4xnOSK+Rv2i/jpf/GDV9tqsun6Bati1szKXZ8c CWUnlmI7dF4xXo37SHxfuvinrLW2jz+f4U0y4kazRF2peuCQJ2A/h67Aeg56nj508X6sZ7t44hgh iPc16mDy76r78/i/T/M4K9b2srIzktzdTgL0HU0++uVtQYrfAK/ePpTTMLe3QL94jkgdas6PoL6k Q0hZVPzHK5r0Uuxi9VYpQtO+WTJA65rb8CadJ4g8RxQy5EMfzyEH+FecVPrMK29vttwMnAwFxmum +Dfh7yLHVLyQEsFVFPpnOf0xXdgML9Zrxp+r+4yqT9nByR+on/BFu8W8/ZL8UyyEFpPFMsYQfwBb WDOB7/0r37xdaPaKJN6MhB2g4PX1NfPn/BFd4ov2QdVit2Xz38TXcky5Gf8AVxBc9+in86+lvFUC 3do8U6LwvJIB57Gvl8y/3uo/M+0oP9xBeS/I8T8Saabi5aG5QP3OV5HHauN8U6csVhLEYyAy8qyd RmvYYvDztqiLOqyfMW3YP+fSk8Z+AYhZSEZDqvKlOTWKtHoc8oPVo+JPGceoaXfySeH5rm3TPCbj tz24Neb654n1C3kIvt0jyH7v+FfVfjvwTDFFcSyDyoxwNy4/HBr5k1jTP7T8WTvOV2xvgfLj9O1R USRth/edn0OZutbvDbsTEyM3fP3a5jUr2a6dgWOR1xz1r0DxpaGLTmZECJgDPrXCpahWIAJPr61j bm2PWwsdOZjbO0KNGzfPtA7dya9M+Hqi2uFRlOOMZ79OlcDpkJ3Iwb3Neg+FZCQJJOduOAetVFvX qbyS3POf25JjP488HyMuUkspYhnuBLz/ADr5y1SzOnavcwAZ8qRlXB7Zr3n9r7Xh4h+JugW6niwt mU4/hJYH+WK8Z+IVqqeJZniGN2Mj04r6PA03LCKXW58BmFRfWpL+tCDw5cgXuyfLRSAowz2NM1bT 5vDOpfu24Yb42HdTUGmcSDkjnrXazaIPFnhtEB/0q2XMbHnI7g1tE49tT2v9jr9u2TwRJb+FfjO9 xqvhKcpGkhc/aNJOcb4mzyvPKMCCOmK+5bPwzeXF+zeBbiHXtDmtWlguLHMkzIw3fOmORjkFSehr 8eQklnOQAUYHnjpivrD9gP8Aaobw/r8HhfxteTR2crK2n3e4n7DL02NzzG2enbtUSwtLEX93XyNo 1pJaM+kfEnxHgg1G0MD3rx+Zh5II3AhK/wALgDnJ7Dpitnw34tHiTU4Ev58+a2NoYBmGeCQeT1r0 a5kHj3wlqMGhPFa60uxwkzloZWyxBR8blDDAJGcHrXE+HPBjQa2yeJbRba/CbthCyAHqCrrww46g 15OKwcqF29jqpVlNtPcseJL2507w/fw+HtOk1eGCTD28Kku/ynGNoJ3cHtXj83jbx/PKz2nw91aO JyWRJJlDqp6BhkYOOvArr/GHxZPg5Li00G+ey1OSFgGtpAhVhwN/oMliBXjr/tYa3E5VtfuGKnBP k5z78tWcIO10RVlFv3T7W8Ra9q2pxxzWb+ctqQFdrdXbgdA7YPQdQPxrwT9sv4qWl9HbeE7FdT/s 64j8/wARxwXBiEpHzLAJBnYSMOwHbaO5r6d8ZStajTVtmaNXliRgpwGXd0OO3tXwB+09eTS3OsvL LIzSXdzvJYkt+9YcnvwAKnI8PzV5Tb2RhiZuMVZ7nzh8VfG1mDPD4fhNvEzny1EhbYueOe5x3rzT a08pdslic5q54nJOpSAnPzUzSAH8ncAcnv8AWvoZyc5amEHZF/Q/C8+oTK0yMIyOv+FdWbJLCFY4 Ae2S3U1p6coS0AQAAelU9T/4+Ix22V0xprlYN9TD1K3824LjG0Dt3rv/AIW223wJdOcb5pXKgd8Z A/lXB3gxGxHXFek/CjnwGM9kJ/8AIj162SRTruXVJnLipuNP7j6o/wCCOPx0Twxr/iLwlqUpSG+m F1CC3HmYCnjtX6G6nFb3qqybkxkgg5BBr8cv2KbiS2/aMiNu7xkuMlWIzX61+DpGk8MWpkZmOOpO a+Mzaio4icutz63AVXOjBPsbMFnBaXHmNzuIzx8wqv4utI7zSJASGZgWz1HrmnuxFu+CeFXHtWbq bmXT18wlsoOvNeeux1N+7Y8J+NtlE2lus2fNYNHtzwQR0+mK+WbXRG1DW7toldl81sso5OP6cV9V /Gcf6BKfSV8e3NeDeE41E12Qq5EjY46c0TjfQdKXKzzL4h6ekMZRGY7udrDjH0ripNOW1UlCST0D DivQPiic6oc/7Ved6hIxuRlj+fvXI5crSPYw79wS3RYDltoDdP8AZq9/wlSaVYFoyNyDnnqKxrw4 jOOyZHtWFrzkWUuCfz9q6qNNTZxYzFShCSRxfijUX8ReOZLuYsRD93nI69K5Pxk/2m+leQYJb8q6 OD78p7knPvXMa6M+YT/eNfX0aSo4WMF1PhKknKrzPcz7AZ/1e7P867fwdeGDycswPTHtXGaHzMM+ v9a6rQz+/wDoa5aau9Sy74t8Fecr3NqpAY5OOnNc1o0U2nXhO8wMjA5zzxXqMyj+xgMDHl5ribmN WmUsqk5PUV0QSkrkJ2PtH9lz9rhtR8C2dv4lt7e/vNOmVZi4xKV27QyuOcMFBOehHGM19VeE/iF4 R8W2kU5aK11CRCpS7iSRFDDBdWJBU9sjrX5ufs8IF8ewIoARojlccHj0r6u0VRbWFm9uBG7NgsvB PzeorbljNNSVzVtqzR6F8V/B6aZ4akkOn6St156+ZcWSf65OcEF9xDcdq8tT4S+H50Dvo8TlxuLP MdzZ7njrT9N1a6u/ibfWt3c3Etqu8iF5C0Y5PRScVtknPWvnMRTjQqNRW5tC89Wz/9k= X-ABUID:92572CE0-933D-4A89-B681-AB2B8815ECE3\:ABPerson END:VCARD

PGP.sig (210 bytes) Download Attachment

CFP: Visual Communications and Image Processing 2010

2009-10-13T19:03:02Z

================================================================

* We apologize if you receive this CFP more than once.
* PLEASE CIRCULATE this CFP among your colleagues and students. Many thanks!
================================================================

Call for Papers
Visual Communications and Image Processing 2010

11-14 July 2010, Huang Shan, China
Web: http://vcip2010.ustc.edu.cn
Email: vcip2010@...

Hosted by: University of Science and Technology of China
Co-hosted by: Microsoft Research Asia

Visual communication has become an important engineering area that attracts interdisciplinary research interest

and has lead to significant developments in technology and science. This conference is designed as a forum for

presenting important research results. Original and unpublished material of novel techniques and new developments

are solicited on the following and related topics:

1. Image and Video Coding
1.1. image/video coding algorithms
1.2. perceptual image/video coding
1.3. content-based coding
1.4. error-resilient image/video coding
1.5. scalable/layered coding
1.6. distributed/multi-view coding
2. Visual Communication Techniques
2.1. video transmission techniques
2.2. QoS issue
2.3. wireless video
2.4. Internet video
2.5. interactive/broadband video
3. Image and Video Analysis
3.1. image analysis
3.2. image sequence analysis
3.3. web-based image and video analysis
3.4. object segmentation and tracking
3.5. statistical models
4. Image and Video Processing
4.1. multi-resolution processing
4.2. multi-modal media processing
4.3. web-based image and video processing
4.4. restoration, enhancement, and noise reduction
4.5. sparse-based processing
4.6. adaptation/transcoding
5. Image and Video Synthesis and Rendering
5.1. stereo, multiview, and 3D (virtual reality)
5.2. synthetic image/video representations
5.3. graphics techniques in image/video representations
5.4. audio/video integration
5.5. image/video conversion
6. Implementation and Applications
6.1. VLSI implementation
6.2. system architecture
6.3. soft radio technologies
6.4. video and home networking
6.5. video and e-commerce/m-commerce

For paper submission, please go to VCIP’2010 Web, http://vcip2010.ustc.edu.cn/submission.htm and submit up to 3000

words or four pages papers in PDF format by Dec. 6, 2009.

Proposal for Tutorials, Special Sessions, Panels and Exhibitions VCIP’2010 will include a number of special

sessions. Proposals for special sessions should be made according to the guidelines in the VCIP’2010 Call for

Special Sessions (http://vcip2010.ustc.edu.cn/special_sessions.htm) and submitted by Nov. 7, 2009. All papers for
special sessions are submitted as regular papers for review by Dec. 6. 2009.
Tutorials will be held on July 11, 2010. Proposals for tutorials should include a title, an outline of the

tutorial and its motivation, contact and bio information for the presenter(s), and a short description of the

material to be covered. Proposals for Panel sessions should include the title and panel list. Proposals for

tutorials and panels should be submitted by Jan. 25, 2010.
VCIP’2010 will also feature a demo session. Proposals of technical demonstrations should be made according to the

guidelines in VCIP’2010 Call for Demos (http://vcip2010.ustc.edu.cn/demos.htm) and submitted by Jan. 25, 2010.

Important Deadlines:
Proposals for Special Sessions Due Date:                 Nov. 7, 2009
Regular and Special Session papers Submission (3000 words): Due Date:     Dec. 6, 2009
Proposals for Tutorials, Panels and Exhibitions: Due Date:         Jan. 25, 2010
Author notification: Due Date:                         Feb. 14, 2010
Final manuscript (8-12 pages) and summary (200 words): Due Date:     Mar. 14, 2010

Best Paper Award
One award will be given for the best paper. A photocopy of the researcher's most current diploma and a letter from

the researcher requesting that his/her paper be considered must be submitted with the final manuscript.

Organizing Committee
Conference Advisors:
Chang Wen Chen, University at Buffalo (USA)
Hsiao-Wuen Hon, Microsoft Corporation (China)

General Co-Chairs:
Shipeng Li, Microsoft Research Asia (China)
Bernd Girod, Stanford University (USA)
Guo Wei, Univ. of Sci. and Tech. of China (China)

Program Co-Chairs:
Pascal Frossard, Swiss Federal Inst. of Tech. (Switzerland)
Houqiang Li, Univ. of Sci. and Tech. of China (China)
Feng Wu, Microsoft Research Asia (China)

Local Arrangement Co-Chairs:
Yan Lu, Microsoft Research Asia (China)
Nenghai Yu, Univ. of Sci. and Tech. of China (China)

Financial Chairs:
Xing Xie, Microsoft Research Asia (China)
Bin Li, Univ. of Sci. and Tech. of China (China)

Tutorial & Panel Co-Chairs:
Qi Tian, Microsoft Research Asia (China)
Béatrice Pesquet-Popescu, ENST (France)

Special Session Co-Chairs:
Kevin Yang, National Cheng Kung University (Taiwan)
Eckehard Steinbach, Technische Universitaet Muenchen (Germany)

Demo Co-Chairs:
Shaoyi Chien, National Taiwan University (Taiwan)
Ye-Kui Wang, Huawei Technologies (USA)

Publicity Co-Chair
Dacheng Tao, Nanyang Technological University (Singapore)
Ebroul Izquierdo, University of London (United Kingdom)
Dan Schonfeld, University of Illinois at Chicago (USA)

International Liaison Chair
Zhihai He, University of Missouri (USA)

European Liaison Chair:
Fernando Perrira, Instituto Superior Técnico (Portugal)

Asia-Pacific Liaison Chair:
Jian Zhang, University of New South Wales (Australia)

--
Dacheng TAO
School of Computer Engineering
Nanyang Technological University
Singapore 639798.
Office: Blk N4,02b-67
Phone: +65 6790 6250
Fax: +65 6792 6559
URL: http://www.ntu.edu.sg/home/dctao

Re: OWL 2 is now a W3C Proposed Recommendation

2009-10-13T10:34:41Z

On 13 Oct 2009, at 13:20, Bene Rodriguez-Castro wrote:

> Thank you all for your comments.
>
>> Please note that the file you were using (owl.owl) is in the
>> process of
>> being updated. Once that is complete and published you should be
>> able to
>> load it in the editor of your choice and have the same experience
>> you did
>> with the OWL 1 owl.owl file.
>
> I was a bit puzzled not being able to find an OWL 2 specific file/URI
> in the OWL 2 related documentation but not any more :)

OWL 2 is *not quite done*. Yet :)

>> There are some people (myself included) who think this is not a
>> good way to
>> learn or explore OWL (1 or 2). There was quite a debate about it
>> between me
>> (anti) and Holger Knublauch (pro) recently which you might find
>> interesting:
>>
>> <http://www.w3.org/mid/B6D22E33-5332-4CF3-8582-F6A033BE4C7B@...
>> >
>
> Thanks for the interesting thread. As an OWL user, my idea was not to
> use the owl.owl file as a starting point for new ontology models.
> However, I find it useful when it is open on an ontology editor as a
> separate "quick look-up kind-of reference card" of the OWL modelling
> elements (specially for those less frequently used).

You might try:
http://www.w3.org/TR/2009/PR-owl2-quick-reference-20090922/
as well.

I tend to think, perhaps wrongly, that such use is in the minority
(although people in that minority seem to like it :)). In Swoop, we
used to follow links to things like rdf:type to the owl.owl file (or
rdf.rdf file), but that process of loading the file cluttered the
interface and was confusing (since it wasn't clear if the rdf.rdf was
*part* of the model, or not). We switched to special casing those
links to pop up documentation derived from the OWL 1 reference.

In the end, I don't think these *.* files are the best documentation,
even as QRG, though they certainly can serve such a role in a pinch.

I think it could be interesting to have a version of the spec that
was, er, "inverted" from a narrative structure to a term oriented
structure. That structure would make sense as an RDF file. If one had
a good viewer, it might work ok.

And there's nothing stopping you from producing one! :)

Cheers,
Bijan.

Re: OWL 2 is now a W3C Proposed Recommendation

2009-10-13T10:20:24Z

Thank you all for your comments.

> Please note that the file you were using (owl.owl) is in the process of
> being updated. Once that is complete and published you should be able to
> load it in the editor of your choice and have the same experience you did
> with the OWL 1 owl.owl file.

I was a bit puzzled not being able to find an OWL 2 specific file/URI
in the OWL 2 related documentation but not any more :)

> There are some people (myself included) who think this is not a good way to
> learn or explore OWL (1 or 2). There was quite a debate about it between me
> (anti) and Holger Knublauch (pro) recently which you might find interesting:
>
> <http://www.w3.org/mid/B6D22E33-5332-4CF3-8582-F6A033BE4C7B@...>

Thanks for the interesting thread. As an OWL user, my idea was not to
use the owl.owl file as a starting point for new ontology models.
However, I find it useful when it is open on an ontology editor as a
separate "quick look-up kind-of reference card" of the OWL modelling
elements (specially for those less frequently used).

Cheers,
Bene Rodriguez

Re: OWL 2 is now a W3C Proposed Recommendation

2009-10-12T10:49:59Z

On 12 Oct 2009, at 07:09, Ivan Herman wrote:

> Bene,
>
> OWL 2 reuses the same URI used by OWL 1. As OWL 2 is an extension to
> OWL
> 1, this makes sense.

Please note that the file you were using (owl.owl) is in the process
of being updated. Once that is complete and published you should be
able to load it in the editor of your choice and have the same
experience you did with the OWL 1 owl.owl file.

There are some people (myself included) who think this is not a good
way to learn or explore OWL (1 or 2). There was quite a debate about
it between me (anti) and Holger Knublauch (pro) recently which you
might find interesting:
<http://www.w3.org/mid/B6D22E33-5332-4CF3-8582-F6A033BE4C7B@...
>

Of course the emphasis in that debate is somewhat different. I
personally think that owl.owl is *worse* from a pedegogical
perspective (though, of course, people differ and we have to consider
what outcomes we're interested in and what other material we're using,
etc.)

OWL 2 has a lot of excellent, IMHO, learning material including the
basic language specification itself. For an overview, the Quick
Reference Guide is quite reasonable.

> I cannot comment on the plans of the different editors regarding the
> additional OWL 2 features although, AFAIK, Protege does cover part of
> OWL 2 already.

Swoop is moribund and will not, unless someone takes up the code (its
open source), be updated. Frankly, I wouldn't recommend taking up the
code as it's based on an older version of the OWL API and is generally
messy. It's not that hard to skin Protege4 to a more Swoopy interface
(it's gotten reasonably close) and focus on adding the remaining
missing features.

Protege4 supports, afaik, all of OWL 2 (in a development release).

Cheers,
Bijan.

Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10)

2009-10-12T05:31:30Z

====================================================================
** Apologies if you receive multiple copies of this announcement. **

Please disseminate this message in your networks / subscribed lists.
We also take this chance to invite you contribute a paper / proposal
to these events. Thanks in advance.
====================================================================

Call for Workshop Proposals

1. Conference: GPC 2010 (The 5th International Conference on Grid and Pervasive Computing)
Web: http://gpc2010.ndhu.edu.tw/
Place/Date: Hualien, Taiwan / May 10-14, 2010
Publication: LNCS, Springer
Proposal Due: 10 December, 2010
Contact: Prof. Shi-Jim Yen (sjyen@... ); Prof. Robert C. Hsu (chh@...)

2. Conference: UIC 2010 (The 6th International Conference on Ubiquitous Inte)
Place/Date: Xian, China / October 26-29, 2010
Publication: IEEE CS (EI indexed, IEEE Digital library)
Proposal Due: January 31, 2010
Contact: Prof. Robert C. Hsu (chh@...); Prof. Mieso Denko (denko@...)

Call for Research Papers

3. Conference: MTPP 2010 (The 2nd Russia-Taiwan Symposium on Methods and Tools of Parallel Programming Multicomputers)
Web: http://grid.chu.edu.tw/mtpp2010/
Place/Date: Vladivostok, Russia / May 17-19, 2010
Publication: LNCS, Springer (EI Indexed, DBLP)
Submission Due: January 10, 2010

4. Conference: ICA3PP 2010 (The 10th International Conference on Algorithms and Architecture for Parallel Processing)
Web: http://cse.stfx.ca/~ica3pp2010/
Place/Date: Busan, Korea / May 21-23, 2010
Publication: LNCS, Springer (EI Indexed, DBLP)
Submission Due: November 30, 2009

5. Conference: IET FC 2010 (The IET International Conference on Frontier Computing)
Web: http://fc2010.cs.pu.edu.tw/
Place/Date: Taichung, Taiwan / July 19-21, 2010
Publication: IET Press (EI Indexed, IEEE Digital library)
Submission Due: December 25, 2009

6. Conference: SMPE 2010 (The Fourth International Symposium on Security and Multimodality in Pervasive Environments)
Web: http://www.ftrg.org/smpe2010/
Place/Date: Perth, Australia / April 20-23, 2010
Publication: IEEE CS (EI indexed, IEEE Digital library)
Submission Due: November 1, 2009

7. Conference: FutureTech 2010 (The 5th International Cnoference on Future Information Technology)
Web: http://www.ftrg.org/futuretech2010/
Place/Date: Busan, Korea / May 21-23, 2010
Publication: IEEE CS (EI indexed, IEEE Digital library)
Submission Due: November 30, 2009

8. Conference: BodyNets 2010 (The Fifth International Conference on Body Area Networks)
Web: http://www.bodynets.org/
Place/Date: Corfu Island, Greece / Spetember 10-12, 2010
Publication: LNICST (EI indexed, DBLP)
Submission Due: March 22, 2010

Re: OWL 2 is now a W3C Proposed Recommendation

2009-10-12T04:09:16Z

Bene,

OWL 2 reuses the same URI used by OWL 1. As OWL 2 is an extension to OWL
1, this makes sense.

I cannot comment on the plans of the different editors regarding the
additional OWL 2 features although, AFAIK, Protege does cover part of
OWL 2 already.

Ivan

Bene Rodriguez-Castro wrote:

> Hi,
>
> Is there a specific prefix or base URI designated for OWL 2?
>
> OWL 1 provides the URI <http://www.w3.org/2002/07/owl>
> Loading this URI in SWOOP, Protege 4.x or TopBraid Composer gives a
> neat ontology representation of the different modelling elements
> available in OWL 1.
>
> I was looking at the documents listed in the previous email (and
> different references in them) for a corresponding URI in the context
> of OWL 2 that I could load in any of these editors, but these
> documents still refer to the OWL 1 URI <http://www.w3.org/2002/07/owl>
>
> Thanks in advance for any comments you may have.
>
> Bene Rodriguez
>
> Postgraduate Student | Intelligence, Agents and Multimedia Group |
> School of Electronics and Computer Science | University of Southampton
> | Southampton SO17 1BJ | United Kingdom
>
>
>
> On Tue, Sep 22, 2009 at 8:30 PM, Sandro Hawke <sandro@...> wrote:
>> Following a successful Candidate Recommendation phase, during which we
>> received reports of more than a dozen implementations [1], OWL 2 has
>> advanced to Proposed Recommendation. During this four-week phase, W3C
>> member organizations [2] have a chance decide whether OWL 2 should be
>> published as a W3C Recommendation.
>>
>> We have published new versions of the documents [3], but the changes
>> since Candidate Recommendation are all minor and editorial. (The
>> changes are detailed in a changelog in each document.) No changes to
>> software or ontologies should be required.
>>
>> The new publications are linked from our documentation roadmap:
>>
>> http://www.w3.org/TR/2009/PR-owl2-overview-20090922/#Documentation_Roadmap
>>
>> Comments are best sent to public-owl-comments@.... General
>> discussion of OWL 2 is probably best done on public-owl-dev@... [4].
>>
>> -- Sandro (W3C Staff Contact, OWL WG)
>>
>> [1] http://www.w3.org/2007/OWL/wiki/Implementations
>> [2] http://www.w3.org/Consortium/Member/List
>> [3] http://www.w3.org/News/2009#item166
>> [4] http://lists.w3.org/Archives/Public/public-owl-dev/
>>
>>
>
>

--

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

smime.p7s (4K) Download Attachment

Call for Papers - 4th Int. Workshop on Modular Ontologies

2009-10-11T10:44:50Z

( WE APOLOGIZE IF YOU RECEIVE MULTIPLE COPIES OF THIS MESSAGE )

=========================================================
4th Int. Workshop on Modular Ontologies (WoMO)
Toronto, Canada, May 11, 2010
co-located with FOIS, KR, AAMAS, ICAPS, NMR, and DL
--- 1st Call for Papers ---
=========================================================

http://www.informatik.uni-bremen.de/~okutz/womo4

MODULARITY, as studied for many years in software engineering, allows
mechanisms for easy and flexible reuse, generalization, structuring,
maintenance, design patterns, and comprehension. Applied to ontology
engineering, modularity is central not only to reduce the complexity
of understanding ontologies, but also to facilitate ontology
maintenance and ontology reasoning.

Recent research on ontology modularity shows substantial progress in
foundations of modularity, techniques of modularization and modular
development, distributed reasoning and empirical evaluation. These
results provide a foundation for further research and development.

The workshop follows a series of successful events that have been an
excellent venue for practitioners and researchers to discuss latest
work and current problems, and is this time organised as a satellite
workshop of FOIS 2010, as well as being co-located with several other
relevant events, namely KR, AAMAS, ICAPS, NMR, and DL.

TOPICS include, but are not limited to:

- What is Modularity: Kinds of modules and their properties; modules
vs. contexts; design patterns; granularity of representation;

- Logical/Foundational Studies: Conservativity; modular ontology
languages (e.g., DDL, E-Connections, P-DL); reconciling
inconsistencies across modules; formal structuring of modules;
heterogeneity;

- Algorithmic Approaches: distributed reasoning; modularization and
module extraction; (selective) sharing and re-using, linking and
importing; hiding and privacy; evaluation of modularization
approaches; complexity of reasoning; reasoners or implemented systems;

- Applications: Semantic Web; Life Sciences; Bio-Ontologies; Natural
Language Processing; ontologies of space and time; Ambient
Intelligence; collaborative ontology development; etc.

IMPORTANT DATES

Paper Submission: January 29, 2010
Notification: March 1, 2010
Camera ready: March 11, 2010
Workshop day: May 11, 2010

SUBMISSION GUIDELINES:

The workshop welcomes submission of high quality original and
previously unpublished papers.

Contributions should not exceed 13 pages in length and must be
formatted according to IOS Press style (see
http://www.iospress.nl/authco/instruction_crc.html ).
Contributions should be prepared in PDF format and submitted not later
than January 29 2010 through the EasyChair Submission System (see
http://www.informatik.uni-bremen.de/~okutz/womo4 ).

Submitted papers will be peer-reviewed by members of the program
committee. Accepted papers may be extended up to 16 pages and will be
published as chapters in an IOS Press book in the series 'Frontiers in
Artificial Intelligence and Applications'.

The authors of accepted papers are also welcome to submit
substantially extended versions to a planned special issue on
'Modularity in Ontologies' of the international journal 'Applied
Ontology' (IOS Press).

WORKSHOP CO-CHAIRS:

Oliver Kutz (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany)
Joana Hois (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany)
Jie Bao (Tetherless World Constellation & Department of Computer
Science, Rensselaer Polytechnic Institute, USA)
Bernardo Cuenca Grau (University of Oxford, UK)

PROGRAM COMMITTEE

Mathieu d'Aquin (Knowledge Media Institute, Open University of Milton
Keynes, UK)
Alex Borgida (Department of Computer Science, Rutgers University, USA)
Stefano Borgo (Laboratory for Applied Ontology, CNR, Trento, Italy)
Martin Dzbor (Knowledge Media Institute, Open University of Milton Keynes, UK)
Fred Freitas (Universidade Federal de Pernambuco, Caixa Postal, Brazil)
Silvio Ghilardi (Department of Computer Science, University of Milan, Italy)
John Goodwin (Ordnance Survey, Southampton, UK)
Peter Haase (fluid Operations GmbH, Germany)
Heinrich Herre (Institute for Medical Informatics, Statistics and
Epidemiology, University of Leipzig, Germany)
Pascal Hitzler (Kno.e.sis Center, Wright State University, USA)
Vasant Honovar (Artificial Intelligence Research Laboratory, Iowa
State University, USA)
Roman Kontchakov (School of Computer Science and Information Systems,
Birkbeck College, London, UK)
Carsten Lutz (Department of Computer Science, University of Bremen, Germany)
Till Mossakowski (German Research Center for Artificial Intelligence,
Lab Bremen, Germany)
Alan Rector (University of Manchester, UK)
Anne Schlicht (KR & KM Research Group, University of Mannheim, Germany)
Thomas Schneider (Department of Computer Science, University of Manchester, UK)
Luciano Serafini (Centro Per la Ricerca Scientifica e Tecnologica,
Trento, Italy)
Stefano Spaccapietra (School of Computer and Communication Sciences,
Lausanne, Switzerland)
Heiner Stuckenschmidt (KR & KM Research Group, University of Mannheim, Germany)
Andrei Tamilin (Fondazione Bruno Kessler - IRST, Italy)
Dirk Walther (Department of Computer Science, Universidad Politecnica
de Madrid, Spain)
Frank Wolter (Department of Computer Science, University of Liverpool, UK)
Michael Zakharyaschev (School of Computer Science and Information
Systems, Birkbeck College, London, UK)
Antoine Zimmermann (DERI, National University of Ireland, Galway, Ireland)

Re: OWL 2 is now a W3C Proposed Recommendation

2009-10-09T13:01:12Z

Hi,

Is there a specific prefix or base URI designated for OWL 2?

OWL 1 provides the URI <http://www.w3.org/2002/07/owl>
Loading this URI in SWOOP, Protege 4.x or TopBraid Composer gives a
neat ontology representation of the different modelling elements
available in OWL 1.

I was looking at the documents listed in the previous email (and
different references in them) for a corresponding URI in the context
of OWL 2 that I could load in any of these editors, but these
documents still refer to the OWL 1 URI <http://www.w3.org/2002/07/owl>

Thanks in advance for any comments you may have.

Bene Rodriguez

Postgraduate Student | Intelligence, Agents and Multimedia Group |
School of Electronics and Computer Science | University of Southampton
| Southampton SO17 1BJ | United Kingdom

On Tue, Sep 22, 2009 at 8:30 PM, Sandro Hawke <sandro@...> wrote:

> Following a successful Candidate Recommendation phase, during which we
> received reports of more than a dozen implementations [1], OWL 2 has
> advanced to Proposed Recommendation. During this four-week phase, W3C
> member organizations [2] have a chance decide whether OWL 2 should be
> published as a W3C Recommendation.
>
> We have published new versions of the documents [3], but the changes
> since Candidate Recommendation are all minor and editorial. (The
> changes are detailed in a changelog in each document.) No changes to
> software or ontologies should be required.
>
> The new publications are linked from our documentation roadmap:
>
> http://www.w3.org/TR/2009/PR-owl2-overview-20090922/#Documentation_Roadmap
>
> Comments are best sent to public-owl-comments@.... General
> discussion of OWL 2 is probably best done on public-owl-dev@... [4].
>
> -- Sandro (W3C Staff Contact, OWL WG)
>
> [1] http://www.w3.org/2007/OWL/wiki/Implementations
> [2] http://www.w3.org/Consortium/Member/List
> [3] http://www.w3.org/News/2009#item166
> [4] http://lists.w3.org/Archives/Public/public-owl-dev/
>
>

1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.

2009-10-04T10:47:19Z

Apologies for cross-postings

------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------

Workshop on Matching and Meaning:
Automated development, evolution and interpretation of ontologies

http://dream.inf.ed.ac.uk/events/wmm-2010

31st March 2010, part of AISB'10 Convention, Leicester, UK

OVERVIEW

The problem of semantic misalignment - of two (or more) systems failing
to understand one another when their semantic representation is not
identical - occurs in a huge variety of areas: the Semantic Web,
databases, natural language processing; anywhere, indeed, where
semantics are necessary but centralised control is undesirable or
impractical. In highly dynamic domains, where interactions are between
a large, diverse and evolving community, there is a need for the
resolving of these misalignments - through developing and evolving
existing ontologies or interpreting unknown ontologies in terms of
known ones - to be done automatically and on-the-fly.

The aim of this workshop is to bring together researchers interested in
the problems of automated development, evolution and interpretation of
ontologies in the many different domains in which it occurs. We are
primarily interested in the exchange of ideas and the stimulation of
debate, and the workshop is intended to be a forum for researchers to
present ongoing work and ideas and to engage in discussion with other
researchers from the field. We are particularly interested in novel
ideas and innovative research, which may be in its early stages, and
encourage reports on work in progress.

Topics of interest include:

* Ontology evolution
* Ontology matching and alignment
* Ontology versioning
* Representational or structural change
* Formal aspects of ontology dynamics
* Formalisation of and reasoning with contexts
* Foundational issues
* Social and collaborative matching
* Background knowledge in matching
* Extensions to ontology languages to better support change
* Non-monotonic reasoning for ontologies and the Semantic Web
* Inconsistency handling in evolving ontologies
* Uncertainty in matching
* Change propagation in ontologies and metadata
* Ontologies for dynamic environments
* Dynamic knowledge construction and exploitation
* Matching for dynamic applictions (e.g., p2p, agents, web-services)
* Case studies, software tools, use cases, applications
* Open problems

SUBMISSION GUIDELINES

We encourage the submission of extended abstracts of 2-5 pages that
discuss ongoing research, problem descriptions and overviews of the
domain. Accepted papers will be included in the AISB 2010 proceedings
unless the authors prefer them not to be (for example, if the work is
very similar to work presented elsewhere which they nevertheless feel
it would be valuable to present in this context, or if the work is at
a stage where discussion would be valuable but publication would be
premature). Authors wishing their submissions to be included in the
convention proceedings must follow the style guide on the convention
website.

Submissions will be subject to light reviewing, mainly intended to
check fit to workshop.

Abstracts should be submitted electronically in pdf format to
mchan-at-ed.ac.uk by 18th December 2009. Notification of acceptance
will be sent to the submitting author on 15th February 2010.

VENUE

The workshop will take place at De Montfort University in Leicester,
as part of the AISB 2010 Convention
(http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st
April, 2010. All workshop participants must be registered for the AISB
2010 Convention. Registration for this workshop is included in the
convention registration fee.

IMPORTANT DATES

Submission: Friday, 18th December 2009
Notification: Monday, 15th February 2010
Workshop: 31st March - 1st April 2010
AISB10 Convention: 29th March - 1st April 2010

PROGRAMME

Presentations: Authors of accepted abstracts will give presentations of
their work; exact times to be decided.

Posters: If it is not possible to fit in presentations for all accepted
authors, some may be asked to present posters instead. There will be a
session of 5 minute poster talks.

Panel: The technical programme will end with a 90 minute panel
discussion on a topic of mutual interest to be decided. Three speakers
will speak for 10 minutes each with a brief to stimulate debate during
the remaining 60 minutes. Discussion amongst all participants, rather
than question-and-answering for the panel, will be strongly encouraged.

ORGANISERS

Fiona McNeill, University of Edinburgh, UK
Michael Chan, University of Edinburgh, UK

PROGRAMMING COMMITTEE

Manuel Atencia Arcas, IIIA-CSIC, Spain
Paolo Besana, University of Edinburgh, UK
Alan Bundy, University of Edinburgh, UK
Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France
Fausto Giunchiglia, University of Trento, Italy
Adam Pease, Articulate Software, USA
Pavel Shvaiko, TasLab, Informatica Trentina, Italy

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Re: Modeling a specific construct - please help

2009-09-29T02:45:51Z

Chimezie, All

The question of how best to handle reasoning with clinical data
remains an open one,
as far as I know. In general, we make do with approximations designed
to fit specific
circumstances.

We still do not have a good theoretical description of the relation
between the "data" in the record, the
clinicians' beliefs at any given time (which may conflict both over
time and between clinicians),
some sort of consensus "best model" of the patient, (and ultimately
"reality").
We still do not have a good account of how to handle "not known",
"known not", "unsure", "missing",
"invalid", etc. We still don't have a good handle on when we should
regard the clinical
data as "open" and when as "closed". I don't think we have a good
practical account of how to
mix different sorts of data even in the knowledge based once we get
beyond the
"ontological" reasoning about terminologies etc, which are clearly
"open world" and things like
the FDA licensing database which is clearly "closed world".

The one thing I am confident of is that there is unlikely to be a
simple, single layer, first order theory
to deal with all these issues.

The one practical bit of advice on this, is that it is often possible
to close small, localisable problem spaces.
It is much harder to close large problem spaces.

Regards

Alan

On 16 Sep 2009, at 15:50, Chimezie Ogbuji wrote:

> On Tue, Sep 15, 2009 at 4:24 AM, Alan Rector <rector@...>
> wrote:
>> Well, no, you cannot (validly) conclude this. This is a non-monotonic
>> inference, which is not supported by the OWL semantics. While it
>> may work in
>> particular cases where you know that your data is complete in the
>> required
>> sense, it is not good practice to use such inference patterns in
>> OWL, as
>> they will (not may, but WILL) break in some cases. Think building a
>> glass
>> building over a known seismic fault.
>>
>> Pat Hayes
>
>> The difficulty with such reasoning patterns is that they only work
>> when you
>> can
>> complete the knowledge base so that it is fully constrained.
>> In most of our biomedical models, we can rarely be certain enough
>> that all possibilities have been covered to reason that the only
>> possibilities left over are true, only that they might be and may
>> ]be worth further investigation.
>
> True, but I've found (in practice) that non-monotonic reasoning
> matches well with the intuition behind clinical medicine and the way
> electronic patient data can be recorded as RDF (mostly using strict
> data entry controls where it is important to assume at least a portion
> of the data is complete in order to make reasonable inferences from
> it)
>
>> Although we have sometimes used this kind of reasoning on very
>> restricted
>> data entry problems with multiple constraints where we can be sure
>> that they
>> can all be covered. In those cases the non-monotonicity is an
>> advantage,
>> although I would try to confine it to increasingly large queries
>> rather than
>> the KB itself. As we learn more, we add it to the query, so that
>> query gets
>> larger and the number of
>> possible answers to the remaining questions gets fewer.
>> This sort of reasoning used to be supported in the Protege Query
>> tab, but is
>> no longer.
>> Regards
>> Alan
>
> -- Chimezie
>

-----------------------
Alan Rector
Professor of Medical Informatics
School of Computer Science
University of Manchester
Manchester M13 9PL, UK
TEL +44 (0) 161 275 6149/6188
FAX +44 (0) 161 275 6204
www.cs.man.ac.uk/mig
www.co-ode.org
http://clahrc-gm.nihr.ac.uk/

ISWC Tutorial: Working with Explanations of OWL Entailments

2009-09-28T18:09:53Z

Do you ever lie there in the middle of the night wondering, "Why are we
here? Why do we die? Why is that class in my ontology unsatisfiable?"

We've all been there, ...restless...sweaty...tormented...asking
ourselves, "Why? WHY!?!? Does God hate me? Was I a mass murderer in a
past life?
Did Jerome make all those classes disjoint AGAIN!?! I bet it was Jerome!
Why did I hire someone named Jerome!??!?!!"

You want answers. More, you want *explanations*.

Thankfully there's a place you can go for explanations of the deep
mysteries of life (if the deep mysteries of life that you are interested
in happen to be entailments in OWL ontologies). A place where it will
all make sense, and there are people who care enough to help you find
your way. And you don't need to wear saffron robes, or bathe nude in the
thundering snowmelt-fed waterfalls on sacred mountains, or sign over all
your worldly possessions (although, if you'd like to dump your more
liquid assets, we *can* help!). No, all you need to do is sign up for a
little half day ISWC tutorial, "Working with Explanations of OWL
Entailments", pay the quite reasonable fee, and buy a copy of my book,
"10 easy ways to write seemingly inappropriate email" for the low low
price of $39.95.

We at the University of Manchester want to help you understand the world
*so much* that we put up a website:

<http://owl.cs.manchester.ac.uk/2009/iswc-exptut/>

Under the gentle guidance of our crack team of explanation gurus, you'll
move from being a mere explanandum**, to a full fledged explanans**!
This tutorial is so hands on that you have to use your feet as well!

After this day, you'll be able to say that if it follows from your
ontology, you know why!

Cheers,
Bijan "Just because! *That's* why!" Parsia.

*Nothing personal, Jerome. It was just your turn.
**Look 'em up on Wikipedia. What, I have to explain *everything*?!?!

------------------
Testimonials:

"It's like being hit with the cluestick of happiness." -- A Bijan
Student Hoping For Some Brownie Points

"It changed my life...in a way. I'm not saying if it was a *good* way."
-- An Unduly Honest Bijan Student Nevertheless Hoping to Avoid Penalty
Points

"Just go to the after party" -- Bijan's Favorite After Party Organizer

"My god, it's full of justifications!" -- Dr. David Bowman

"Go to hell, Parsia" -- Jerome

OWL 2 is now a W3C Proposed Recommendation

2009-09-22T12:30:36Z

Following a successful Candidate Recommendation phase, during which we
received reports of more than a dozen implementations [1], OWL 2 has
advanced to Proposed Recommendation. During this four-week phase, W3C
member organizations [2] have a chance decide whether OWL 2 should be
published as a W3C Recommendation.

We have published new versions of the documents [3], but the changes
since Candidate Recommendation are all minor and editorial. (The
changes are detailed in a changelog in each document.) No changes to
software or ontologies should be required.

The new publications are linked from our documentation roadmap:

http://www.w3.org/TR/2009/PR-owl2-overview-20090922/#Documentation_Roadmap

Comments are best sent to public-owl-comments@.... General
discussion of OWL 2 is probably best done on public-owl-dev@... [4].

-- Sandro (W3C Staff Contact, OWL WG)

[1] http://www.w3.org/2007/OWL/wiki/Implementations
[2] http://www.w3.org/Consortium/Member/List
[3] http://www.w3.org/News/2009#item166
[4] http://lists.w3.org/Archives/Public/public-owl-dev/

Last CFP SWAT4LS - Semantic Web Applications and Tools for Life Sciences

2009-09-19T15:43:52Z

SWAT4LS Semantic Web Applications and Tools for Life Sciences

*** apologies for multiple postings ***

--- updates ---

We are glad to announce that there will be a special issue of the BMC
Journal of Biomedical Semantics dedicated to the SWAT4LS workshop.
This is a new open access journal published by BMC and we are
confident that the supplement will benefit from the additional
exposure and promotion associated with its launch (more information on
this journal can be found at http://www.jbiomedsem.com/).

The call for this special issue will be open to all the contributors
to the SWAT4LS workshop (accepted papers, posters and demos). Authors
will be invited to submit an extended version of their work,
elaborated in the light of the discussion held at the workshop.
Workshop proceedings will be published on CEUR.

In order to facilitate submissions, we have extended submission
deadlines as follows:

intention to submit (abstract only): October 5th
submission of papers: October 12
submission of posters and demos: October 15
communication of acceptance: October 28
camera ready: November 13

Due to the limited time for reviews, we would ask you to submit an
abstract of your paper by October 5th, in order to facilitate
assignment of reviews.

The lenght of contributions to the workshop as been revised to offer
more flexibility:
* Submissions for Oral communications should be between 8 and 15
pages.
* Posters submissions should be between 2 and 4 pages.
* Software demo proposals should also be between 2 and 4 pages.

Finally, we would like to announce that the special issue BMC
Bioinformatics dedicated to SWAT4LS-2008 will be published on October
1st (BMC Bioinformatics, Vol 10, Supp 10)

--- call for papers ---

***Location and date
Amsterdam, Science Park, November 20th 2009
(http://swat4ls.org/2009/)

***Rationale

The adoption of semantic-enabled applications and collaborative social
environments is ever more common in the Life Sciences. The Semantic
Web provides a set of technologies and standards that are key to
support semantic markup, ontology development, distributed information
resources and collaborative social environments. Altogether the
adoption of the Semantic Web in the Life Sciences has potential impact
on the future of publishing, biological research and medecine. This
workshop will provide a venue to present and discuss benefits and
limits of the adoption of these technologies and tools in biomedical
informatics and computational biology. It will showcase experiences,
information resources, tools development and applications. It will
bring together researchers, both developers and users, from the
various fields of Biology, Bioinformatics and Computer Science, to
discuss goals, current limits and some real use cases for Semantic Web
technologies in Life Sciences.

***Topics

Topics of interest include, but are not limited to:

* Standards, Technologies, Tools for the Semantic Web
o Semantic Web standards and new proposals (RDF, OWL,
SKOS,... )
o Biomedical Ontologies and related tools
o Formal approaches to large biomedical knowledge bases
* Systems for a Semantic Web for Bioinformatics
o RDF stores, Reasoners, query and visualization systems
for life sciences
o Semantic biomedical Web Services
o Semantics aware Biological Data Integration Systems
* Existing and prospective applications of the Semantic Web for
Bioinformatics
o Semantics aware application tools
o Semantic collaborative research environments
o Case studies, use cases, and scenarios

***Scientific Program

The workshop will be interactive and include keynotes, oral
presentations, panel discussion and a poster and demo session.

The keynote speakers of this edition will be:
* Barend Mons
(http://www.biosemantics.org/index.php?page=barend-mons

)
* Michael Schroeder (http://www.biotec.tu-dresden.de/schroeder)
* Alan Ruttenberg
(http://sciencecommons.org/about/whoweare/ruttenberg/
)

***Scientific Committee (committed so far:)

* Christopher J. O. Baker, Department of Computer Science and
Applied Statistics, University of Brunswick, Canada
* Pedro Barahona, Department of Informatics, New University of
Lisboa, Lisboa, Portugal
* Liliana Barrio-Alvers, Transinsight GmbH, Dresden, Germany
* Olivier Bodenreider, National Library of Medicine, Bethesda,
MD, United States of America
* Matt-Mouley Bouamrane, School of Computer Science, University
of Machester, manchester, United Kingdom
* Werner Ceusters, NY CoE in Bioinformatics and Life Sciences,
University at Buffalo, Buffalo, NY, United States of America
* Kei Cheung, Center for Medical Informatics, Yale University
School of Medicine, New Haven, United States of America
* Tim Clark, Massachusetts General Hospital and Harvard Medical
School, Boston MA, United States of America
* Marie-Dominique Devignes, LORIA, Vandoeuvre les Nancy, France
* Olivier Dameron, INSERM U936, University of Rennes 1, France
* Michel Dumontier, Carleton University, Ottawa, Ontario, Canada
* Huajun Chen, Zhejiang University, China
* Duncan Hull, School of Chemistry, University of Manchester, UK
* C. Maria Keet, Faculty of Computer Science, Free University of
Bozen-Bolzano, Bolzano, Italy
* Graham Kemp, Chalmers University of Technology, Sweden
* Jacob Tilman Koehler, Department of Molecular Biotechnology,
Institute of Medical Biology, University of Tromsö, Tromsö, Norway
* Michael Krauthammer, Department of Pathology, Yale University
School of Medicine, United States of America
* Martin Kuiper, Department of Pathology, Systems Biology group,
Department of Biology, Norwegian University of Science and Technology,
Trondheim, Norway
* Patrick Lambrix, Department of Computer and Information
Science, Linköping University, Linköping, Sweden
* Phillip Lord, School of Computing Science, Newcastle
University, Newcastle-upon-Tyne, United Kingdom
* M. Scott Marshall, Leiden University Medical Center /
University of Amsterdam, The Netherlands
* Chris Mungall, Lawrence Berkeley National Laboratories, United
States of America
* Stephan Philippi, Institute for Software Technology,
University of Koblenz-Landau, Koblenz, Germany
* Marco Roos, Instituut voor Informatica, University of
Amsterdam, Netherlands
* Alan Ruttenberg, Science Commons, Cambridge, MA, United States
of America
* Matthias Samwald, DERI, Galway, Ireland, and Konrad Lorenz
Institute for Evolution and Cognition Research, Altenberg, Austria
* Nigam Shah, Center for Biomedical Informatics Research,
Stanford, United States of America
* Michael Schröder, Biotechnology Centre, TU Dresden, Dresden,
Germany
* Robert Stevens, School of Computer Science, University of
Manchester, Manchester, United Kingdom
* Tetsuro Toyoda, Genomic Sciences Center, RIKEN, Yokohama, Japan
* Mark D. Wilkinson, iCAPTURE Center, St. Paul Hospital,
Vancouver, Canada

and the organizers

***Type of contributions

The following possible contributions are sought:

* Oral communications (regular papers)
* Posters
* Software demos

***Proceedings

All accepted oral communications and posters will be published with
the CEUR-WS.org Workshop Proceedings service (see http://ceur-ws.org/).
We are finalizing the agreement to have a dedicated special issue on
the 2009 edition of swat4ls in an international scientific journal of
the BMC group (open access, pubmed indexed).
To this end, a special Call will be launched shortly after the
workshop, for extended and revised versions of contributions submitted
to the workshop and accepted either as oral communication or poster.

***New Deadlines

* Intention to submit (abstract only): October 5th
* Submission of papers: October 12
* Submission of posters and demos: October 15
* Communication of acceptance: October 28
* Camera ready: November 13

***Instructions

All papers and posters must be in English and must be submitted
through the EasyChair review system at
http://www.easychair.org/conferences/?conf=swat4ls-09 .
Please upload all submissions as PDF files in LNCS format
(http://www.springer.de/comp/lncs/authors.html
).
To ensure high quality, submitted papers will be carefully peer-
reviewed by at least three members of the Scientific Committee.
* Submissions for Oral communications should be between 8 and 15
pages.
* Posters submissions should be between 2 and 4 pages.
* Software demo proposals should also be between 2 and 4 pages.

***Organization

* M. Scott Marshall, Leiden University Medical Center /
University of Amsterdam, The Netherlands

* Albert Burger, School of Mathematical and Computer Sciences,
Heriot-Watt University, and Human Genetics Unit, Medical Research
Council, Edinburgh, Scotland, United Kingdom

* Adrian Paschke, Corporate Semantic Web, Freie Universitaet
Berlin, Germany

* Paolo Romano, Bioinformatics, National Cancer Research
Institute, Genova, Italy

* Andrea Splendiani, Biomathematics and Bioinformatics dept.,
Rothamsted Research, UK

***More information
* http://www.swat4ls.org/2009/
* http://swat4ls.blogspot.com
* info@...