While traveling the Amsterdam metro the other day a person standing behind me told another person that you could identity a city’s center by looking at its subway network. The center is oftentimes inside an oval with lines leaving the oval.
Even though this statement is not true for the general case, it contains the valid thought or suggestion that structure is at least correlated with and maybe indicative of meaning. There is a sense in which structure, a river for commerce, roads for transportation, has made it possible for a city to be formed at a certain spot (structure predating the city). Then, once the city grows, structure is added and/or changed, e.g. by adding subways.
In some sense knowledge of the structure of transportation and communication channels induces knowledge of where cities are. If we would have to explain to an outer-worldly visitor what a ‘city’ is, both showing a transportation map and giving a historic account of the original transportation route (e.g., the main river around which a city was formed) seem apropriate ways to start.
The metro map of Paris.
The Knowledge Representation and Reasoning Group at the Vrije Universiteit Amsterdam is looking for an enthusiastic PhD student to work on the NWO funded PraSem Project on Pragmatic Semantics for the Web of Data. Interested students with a Master in Computer Science, Artificial Intelligence, Logic or related topics should send their application no later than 15 June 2012 to firstname.lastname@example.org.
More information about Pragmatic Semantics can be found in the original project proposal.
More information about how to apply can be found here: Open PhD position
If you want more information, please do not hestitate contacting me: email@example.com
altsemantics is about alternative semantics for the Web of Data.
The Web of Data has become an enormous dynamic network of typed links between data sets stored on different computers all over the world. These data sets are machine readable and unambiguously interpretable, thanks to their underlying standard representation languages, such as RDF or OWL. The expressiveness and flexibility of the publication model of Linked Data has led to its widespread adoption and an ever increasing publication of semantically rich data on the Web.
This success however has started to create serious problems as the scale and complexity of information outgrows the current methods in use, which are mostly based on database technology and expressive knowledge representation formalism such as Modal and Description Logics. While the logical underpinning of both formalisms was key to its initial success due to its formal rigor and formal simplicity, it is becoming more and more apparent that the complexity of the world, with its contextualised views are often insufficiently understood when data is interpreted in the traditional model-theoretic view alone. In our view, alternative semantics for traditional logical languages have to be studied and exploited to allow for richer use of the immense source of knowledge the Web of Data has become.