(See the schedule and additional information).
After review the tings done this year, some open issues:
- more coordination, web site, mailing list and activities (besides STSMs and IE)
- more networking with other WG
- more networking with other communities, especially SW and social web
Today, we’re going to talk about
- authority reasoning (Axel Polleres and Piero Bonetti). Problem: dealing with billions of triples is slow, even with polynomial inference procedures, so the solution is deal with incompleteness, and authoritativeness is one of them (related with trust).
- object consolidation (Antoine Zimmermann and George Vouros). Trying to complete information through consolidation/disambiguation.
Interesting things for me:
(Kifer & Subrahmanian, JLP, 1992) Mapping rules with confidence calues (annotated programs). Definition of a total order in \(CV=D_1 \times \ldots \times D_z \). Where for each domain \(D_i \) there is defined a total order relationship \(\leq_i \)which leads to a order relationship \(\preceq\) in CV (total at the moment). I’d like to use this to formalize ordering in the vectors for consensus networks.
Instance matching. Given two ontologies \((S_1, A_1, I_1)\) and \((S_2, A_2, I_2)\), where \(S_i\) are signatures, \(A_i\) are assertions and \(I_i\) are instances, try to determine when two elements matches. This can be very useful to semantic service matching
Alberto Fernández and Michail Salampasis finishes the session today with an overview of their respective work, on semantice service discovery (alignment problem) and semantics for web annotation for blind people.