The problem of data semantics is establishing and maintaining a correspondence between a data source (e.g., a database, an XML document) and its intended subject matter. We review the (relatively minor) role data semantics has played in Databases under the term "semantic data models", its more prominent place in ontology-based information integration, and then outline two new views:

• Semantics as a composition of mappings between models, and
• Attaching intentional aspects (stakeholder goals) to Information Systems.

(Joint work with John Mylopoulos and others at Univ. of Toronto)

For better or worse, Description Logics have become highly visible as "ontology representation languages" in the tsunami of papers on Information Integration, the Semantic Web, etc. The first part of this talk provides an (opinionated) survey of what the strenghts (and weaknesses) of Description Logics in representing and reasoning with knowledge about the natural world, including: a variable-free syntax based on "concept constructors"; expressive power intermediate between propositional and full predicate logic, often leading to decideable reasoning; support for non-standard inferences such as concept difference and matching; explanation. An example of using DLs to partially describe the semantics of an e-service will be presented.

It is widely agreed that there will be no single definitive ontology, and that small ontologies should be built by taking parts of existing ones. A more technical part of the talk will concern my research on Distributed Description Logics, and the Logic of Importing Knowledge, which address these issues in different ways.

Alexander Borgida holds a PhD degree from the University of Toronto, and is a Professor of Computer Science at Rutgers University, New Brunswick, NJ. His research generally concerns knowledge representation and its applications. He has published in a variety of areas including Artificial Intelligence (description logics, explanation), Databases (exceptions, data semantics, data mapping, data quality), and Software Engineering (requirements modeling, software specification). One unifying thread of this work is a belief in the importance of languages, which shape the way we think about a problem, and the need to be precise and logical about the semantics of such languages. Alex is co-recipient of the most influential paper award of the 1994 International Conference on Software Engineering, and is proud to have contributed to the design and implementation of the Classic language/logic, which was used at AT&T as part of a system that configured "billions of dollars" worth of equipment

The Semantic Web aims to enable computers to manipulate data meaningfully, not merely to do pattern matching for document retrieval. It does not process everyday natural language, but only precisely defined technical terms in specific domains. Its RDF (Resource Description Framework) claims to be “a lightweight ontology ... intended to express propositions using precise formal vocabularies... [It] is not an inference system” . [Hayes 2004] RDF is thus the latest in a long line of attempts to create “the perfect language” [Eco 1997] without vagueness and without ambiguity, which have been going on since the European Enlightenment, from Wilkins (1668) and Leibniz to Bertrand Russell. If RDF has greater viability than the failed attempts of those great thinkers, this is only because it is intended to be read and processed by computers rather than people.

Sooner or later, however, the Semantic Web will have to come to terms with the challenge of processing natural language as it is used by real people. The vagueness and ambiguity that Wilkins, Leibniz, and Russell perceived as imperfections are now seen by some theorists as essential design features of a flexible system. Be that as it may, it is inconceivable that “all those intelligent people on the Internet” will be persuaded to abandon natural language and start to use a language consisting of a precisely defined formal vocabulary, so we had better continue to work on the problem of meaning in natural language for computational processing.

In this talk, I present a resource currently being developed at the Masaryk University, Brno, which deals with many (though not all – there are no magic bullet in lexical semantics) problems of vagueness and ambiguity in real texts. The resource is “The Pattern Dictionary of English Verbs”. First, all uses of a given verb in a large sample of actual uses are analysed, distinguishing normal, conventional uses from ad-hoc metaphors, ellipses, and other exploitations of norms. Rarely do the exploitations account for more than about 10% of all uses, but in the past they have proved an insuperable distraction for those linguists who had set themselves the goal of accounting for all possible uses of a word. Our target is all normal uses. This goes a long way towards resolving the problem of vagueness. Full resolution will depend on the creation of a set of empirically well founded exploitation rules, which have yet to be written. Our current goals are to get the norms right for the verbs and to see how many of the nouns fall into place as a result.

The normal uses of verb are classified into semantically motivated syntagmatic patterns, in which the arguments (together with some subargumental cues) are correlated. Meanings are associated, not with a target word in isolation, but with a pattern: a target word in any of its normal contexts. This simple reformulation (“First find the pattern, then assign the meaning”) goes a very long way to solving the word sense disambiguation problem. In most cases, the syntagmatic patterns in which a given verb is used, when correctly formulated, are mutually exclusive. For many verbs, different patterns are associated with the same meaning, but it is rare for one pattern to be associated with two or more meanings. In the rare cases when this does happen, either the domain or the wider context (or both) can provide a disambiguating clue. In the extremely rare cases (when neither the pattern nor the context disambiguate), there is a genuine ambiguity in the language—not merely a function of a combinatorial explosion in processing.

The talk will focus on showing sample entries from the Pattern Dictionary and discuss some of the issue that arise.

In the context of the Semantic Web, rho-operators were proposed as a mean to explore complex relationships between entities. The problem of searching for the complex relationships can be modeled as the process of searching paths in a directed graph where the entities form vertices and the edges are represented by the relationships between the entities.

Our effort introduces an indexing structure for path-oriented queries in the graph structured data called rho-index. The design of the rho-index is based on a graph partitioning technique called graph segmentation. Which is meant to represent the indexed graph in a simpler manner yet having similar properties as the original graph had.

This presentation will discuss the theoretical design of the rho-index. It will also describe the transformation used to simplify the indexed graph and the structures used to represent the rho-index. Finally, the preliminary experimental results of the use of the indexing structure will be demonstrated.

Vyhledávání založené na konceptu podobnosti se stává v poslední době velmi důležité v prostředích, kde vyhledávání na přesnou shodu má malý význam nebo dokonce nemá vůbec žádný. S rychle rostoucím množstvím dat, ve kterých je potřeba vyhledávat, je úzce spojen vývoj nových indexačních struktur pro urychlení operace hledání. Koncept podobnosti je často formalizován pomocí pojmu metrického prostoru. Existují dva základní přístupy pro indexování metrických prostorů. První indexuje objekty prostoru pomocí vzdálenostní funkce, druhý přístup je založen na principu mapování metrického prostoru do vektorového. My se zabýváme prvním modelem, tj. indexováním na vzdálenosti, a nastíníme základní principy v těchto metodách použité.

Přednáška se bude zabývat vizuálním rozhraním k vnímání složitých struktur obecně. Sémantické sítě a speciálně sémantický web patří právě k takovým složitě uchopitelným strukturám.

Budou prezentována východiska návrhu aplikace Visual Browser a její možné využití. Aplikace Visual Browser vznikla jako diplomová práce na Fakultě informatiky MU v Brně, původně pro potřeby vizualizace WordNetu. Dvouvrstvé schéma, které aplikace využívá však umožňuje mnohem univerzálnější použití.

Vysoká míra obecnosti a parametrizovatelnosti tohoto programu bude demonstrována na příkladové studii digitální matematické knihovny NUMDAM. Závěrem bude zmíněn návrh sémantického webu projektu digitální matematické knihovny DML-CZ.

Přednáška  poskytne  základní  přehled  o  aktivitách  VŠE  Praha v oblasti sémantického  webu,  s  důrazem  na problematiku automatizovaného získávání znalostí  z  běžného  WWW.  Formou  otevřené  diskuse se dotkne i některých dalších  aspektů  sémantického webu, které autor považuje za klíčové, např. kvality  v  současnosti  dostupných ontologií a přidané hodnoty vzhledem ke "konkurenčním"   (např.  objektovým)  technologiím.  Pokusíme  se  společně zmapovat   aktuální   stav  výzkumu  a  praxe  sémantického  webu  v  ČR  a identifikovat perspektivní oblasti pro další spolupráci různých institucí.

Viz také KEG (přednáška 10.03.2005).

Presentace výsledků pracoviště FI MU.

V oblasti návrhu ontologického popisu jsme se soustředili na propojení informací z ontologií s existujícími jazykovými zdroji – tezaury, sémantickými sítěmi typu wordnet, terminologickými databázemi atd. Bylo navrženo XML schéma umožňující propojení znalostí z takových zdrojů. Současně byla do tohoto formátu transformována databáze RussNet, obsahující jak taxonomii vybraných pojmů v ruštině, tak morfologickou a částečně i syntaktickou informaci (valenční rámce). Pro daný formát byly implementovány XML transformace umožňující zobrazování ontologických i jazykových dat pomocí nástroje DEB.

Ve spolupráci s kolegy z Tübingenské university byly započaty práce na převodu jejich sémantické sítě GermaNet do našeho formátu s cílem získat kompatibilní zdroje pro další jazyky. Vzhledem k postupnému doplňování valenčních rámců do českého wordnetu plánujeme také převod tohoto poměrně rozsáhlého zdroje do nového formátu.

V souvislosti s cílem projektu zkoumání modularity, integrace a opakovaného použití ontologií byla pozornost věnována i dalším zdrojům sémantických dat, konkrétně asociačním tezaurům (výsledky slovních asociací), které poskytují cenné informace o vztazích mezi pojmy a jejich „uložení“ v lidské paměti. Jako velmi nadějná oblast se jeví porovnávání vazeb získaných z asociačních tezaurů se vztahy získanými ze sémantických sítí, případně automatickou analýzou z korpusových textů. Existuje těsný vztah mezi porovnáváním takových dat z různých zdrojů a mapováním ontologií Sémantického Webu. Získané výsledky jsou tedy relevantní pro srovnávání a kombinování ontologií, integraci dat, případně služeb Sémantického Webu, popsaných různými ontologiemi.

Non-monotonic logics are a form of formal reasoning aimed at the representation of common-sense reasoning; unfortunately, non-monotonic logics typically suffer from very high computational complexity and thus are practically intractable.

In this talk first will be presented the defeasible logic, a family of non-monotonic logics designed to be easily implementable and tractable. After the introduction of the basic principles of defeasible logic will follow a discussion of some extension of the logic and some applications.

V prehledove prednasce popiseme multiagentni system tvorici distribuovane vypocetni prostredi s durazem na metody vypocetni inteligence, zejmena neuronove site a geneticke algoritmy. Budeme se venovat hlavne otazkam komunikace a spojovnani agentu, formalniho popisu typu a hierarchii, ontologiim, moznostem popisu a sledovani efektivity vypoctu, a snaham o vyvoj autonomnich a proaktivnich agentu.

Po softwarových agentech chceme, aby byli "inteligentní", aby "žili" v prostředí internetu, interagovali s lidmi a aby v internetu prováděli úkony, které po nich chceme. Kvůli tomu by měli znát sémantiku dat, např. těch na webových stránkách. Ta je však srozumitelná pouze lidem, nikoliv počítačům, a cílem sémantického webu je učinit tuto sémantiku přístupnou i počítačům. Lze toho vůbec dosáhnout? Jak se dívá současná teorie umělé inteligence na tento problém? Jaká je budoucnost sémantického webu? Odpovědi na tyto a podobné otázky budeme společně hledat v tomto semináři.

Zdenka Linkova: Integrace dat a semanticky web (in Czech)

Pavel Krusina: Models of Multi-Agent Systems

Radim Nedbal: Relational Databases with Ordered Relations

Martin Rimnac: Rekonstrukce databazoveho modelu na zaklade dat (studie proveditelnosti) (in Czech)

Roman Spanek: Security in Mobile Enviroment