With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed for (...) intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

The notion of validity fulfils a crucial role in legal theory. In the emerging Web 3.0, Semantic Web languages, legal ontologies, and normative multi-agent systems are designed to cover new regulatory needs. Conceptual models for complex regulatory systems shape the characteristic features of rules, norms, and principles in different ways. This article outlines one of such multilayered governance models, designed for the CAPER platform, and offers a definition of Semantic Web Regulatory Models . It distinguishes between normative-SWRM and (...) institutional-SWRM. It also compares existing principles in privacy by design, linked open data , legal information institutes , and online dispute resolution . The article concludes by proposing the notion of Relational Law to summarize the ethical dimension of SWRM. Ethics are the only regulatory way to constitute a global space, out of the jurisdictional public domain set by national, international, or transnational law, and opposed to the private one. (shrink)

As an informational technology, the World Wide Web has enjoyed spectacular success. In just ten years it has transformed the way information is produced, stored, and shared in arenas as diverse as shopping, family photo albums, and high-level academic research. The “Semantic Web” was touted by its developers as equally revolutionary but has not yet achieved anything like the Web’s exponential uptake. This 17 000 word survey article explores why this might be so, from a perspective that bridges both (...) philosophy and IT. (*Also translated into Croatian and republished in Vjesnik bibliotekara Hrvatske 53, 1(2010), 155-206: See external link #2). (shrink)

This text looks at the construction of the Semantic Web, which will enable computers to automatically and independently consume Web-based information. With numerous programming examples, it is ideal for undergraduates and graduates in mathematics, computer science and logic and researchers interested in Multi-Agent Systems and the Semantic Web.

This paper seeks an explanation for the challenges faced by Semantic Web developers in achieving their vision, compared to the staggering near-instantaneous success of the World Wide Web. To this end it contrasts two broad philosophical understandings of meaning and argues that the choice between them carries real consequences for how developers attempt to engineer the Semantic Web. The first is Rene Descartes’ ‘private’, static account of meaning (arguably dominant for the last 400 years in Western thought) which (...) understands the meanings of signs as whatever their producers intend them to mean. The second is Charles Peirce’s still relatively unknown ‘public’, evolutionary account of meaning, according to which the meaning of signs just is the way they are interpreted and used to produce further signs. It is argued that only the latter approach can avoid the unmanageable attempts to ‘preprocess’ interpretation of signs on the Web which have dogged the project in its many stages, and thereby do justice to the scale, rapid changeability and exciting possibilities of online information today. (shrink)

Since the beginnings of the Semantic Web, ontologies have played key roles in the design and deployment of new semantic technologies. Yet over the years, the level of collaboration between the Sema...

Since the beginnings of the Semantic Web, ontologies have played key roles in the design and deployment of new semantic technologies. Yet over the years, the level of collaboration between the Sema...

The inclusion of Semantic Web technologies into the lexicographic ‘Middle High German Conceptual Database’ (MHDBDB) is a challenge for this long-term project. Since the 1970 s the Middle High German Concept Database has aimed to provide an onomasiological dictionary for Middle High German. The latest technological revision dates back to 1992, so there is a growing demand for more contemporary infrastructure and usability. The data models themselves, as well as the linking of data sets with authority files, need to (...) be modernised to ensure compatibility with the Semantic Web. This paper summarises the current discussion on formats and ontologies for online dictionaries with a focus on Middle High German lexicography. (shrink)

The paper develops some of the conclusions, reached in Floridi (2007), concerning the future developments of Information and Communication Technologies (ICTs) and their impact on our lives. The two main theses supported in that article were that, as the information society develops, the threshold between online and offline is becoming increasingly blurred, and that once there won't be any significant difference, we shall gradually re-conceptualise ourselves not as cyborgs but rather as inforgs, i.e. socially connected, informational organisms. In this paper, (...) I look at the development of the so-called Semantic Web and Web 2.0 from this perspective and try to forecast their future. Regarding the Semantic Web, I argue that it is a clear and well-defined project, which, despite some authoritative views to the contrary, is not a promising reality and will probably fail in the same way AI has failed in the past. Regarding Web 2.0, I argue that, although it is a rather ill-defined project, which lacks a clear explanation of its nature and scope, it does have the potentiality of becoming a success (and indeed it is already, as part of the new phenomenon of Cloud Computing) because it leverages the only semantic engines available so far in nature, us. I conclude by suggesting what other changes might be expected in the future of our digital environment. (shrink)

Ontology languages for the Semantic Web have their strengths and weaknesses, in particular in the light of deploying them for biological and medical information systems. We survey and compare the Description Logics-based OWL languages, and the DL-Lite and DLR families of languages. Language choices that an ontology developer has to make are, among others, expressivity with n-ary relations (where n > 2) and more role properties versus ontology usage for data-intensive tasks. Guidelines are suggested to facilitate choosing the language (...) best fitted for a task. (shrink)

This is a brief letter outlining speculative ideas for semantic web reasoning about information assurance. Much work has been done on the development of semantic web applications for reasoning about information assurance. A significant portion of this work is focused upon semantic web ontologies and reasoning about security policies and the underlying implementation of those policies. While numerous semantic web-based security policy ontologies and reasoners exist, both academically and commercially, I will briefly focus on ideas related (...) to solutions to the problem of managing semantic web rules using algorithmic information theory. (shrink)

This paper is a survey of standards being used in the domain of digital cultural heritage with focus on the Metadata Encoding and Transmission Standard created by the Library of Congress in the United States of America. The process of digitization of cultural heritage requires silo breaking in a number of areas—one area is that of academic disciplines to enable the performance of rich interdisciplinary work. This lays the foundation for the emancipation of the second form of silo which are (...) the silos of knowledge, both traditional and born digital, held in individual institutions, such as galleries, libraries, archives and museums. Disciplinary silo breaking is the key to unlocking these institutional knowledge silos. Interdisciplinary teams, such as developers and librarians, work together to make the data accessible as open data on the “semantic web”. Description logic is the area of mathematics which underpins many ontology building applications today. Creating these ontologies requires a human–machine symbiosis. Currently in the cultural heritage domain, the institutions’ role is that of provider of this open data to the national aggregator which in turn can make the data available to the trans-European aggregator known as Europeana. Current ingests to the aggregators are in the form of machine readable cataloguing metadata which is limited in the richness it provides to disparate object descriptions. METS can provide this richness. (shrink)

This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural language semantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can use the application to demonstrate complex semantic derivations in the classroom and modify them interactively, and students can use it to work on problem sets provided by (...) the teacher. The program supports demonstrations and exercises in two main areas: (1) performing beta reduction in the simply typed lambda calculus; (2) application of the bottom-up algorithm for computing the compositional semantics of natural language syntax trees. The program is able to represent the full range of phenomena covered in the Heim and Kratzer textbook by function application, predicate modification, and lambda abstraction. This includes phenomena such as intersective adjectives, relative clauses and quantifier raising. In the student use case, emphasis has been placed on providing “live” feedback for incorrect answers. Heuristics are used to detect the most frequent student errors and to return specific, interactive suggestions. (shrink)

The Department of Defense is working at all levels to rationalize its data management strategy (Stenbit, 2003). However, though this strategy is broad in its application, its reach has thus far not extended to specialized areas of interest such as modeling and simulation. Now, however, the rapid development of net-centric technologies and methods provides new opportunities for the modeling and simulation community within the DoD and in fact offers opportunities to bring together communities of practice (such as C2, logistics) in (...) ways that can help to bring greater coordination in use of data and systems and enable more rapid configuration of models that can bridge separate domains. The specific components that we shall address here include: -/- 1. Ontologies 2. Strategy for the identification and treatment of authoritative data 3. Service oriented architectures (including Web Services) 4. Semantic search 5. Reasoning and analysis engines 6. Data Interoperability . (shrink)

We start with the ambition -- dating back to the early days of the semantic web -- of assembling a significant portion human knowledge into a contradiction-free form using semantic web technology. We argue that this would not be desirable, because there are concepts, known as essentially contested concepts, whose definitions are contentious due to deep-seated ethical disagreements. Further, we argue that the ninetenth century hermeneutical tradition has a great deal to say, both about the ambition, and about (...) why it fails. We conclude with some remarks about statistics. (shrink)

Mind, Vol. LXXXVI (April, 1977) pp. 242-248.

In Research on Language and Computation, Co-editor with Alastair Butler (primary editor) and Jason Mattausch of the special issue. Vol: 5.1 Springer Verlag.

The Indiana Philosophy Ontology (InPhO) project is presented as one of the first social-semantic web endeavors which aims to bootstrap feedback from users unskilled in ontology design into a precise representation of a specific domain. Our approach combines statistical text processing methods with expert feedback and logic programming approaches to create a dynamic semantic representation of the discipline of philosophy. We describe the basic principles and initial experimental results of our system.

donkey anaphora, quantificational and modal subordination, static and dynamic approaches to mood, tense and aspect, entailment in natural language, parallels between the individual, temporal and modal domain.

“This species of device is so radically new that many of its uses will become clear only after it’s been put into operation.” It’s what he said to me. ‘Cause he understood. He knew the real challenge was not building the thing but asking it the right questions in a language intelligible to the machine. And he was the only one who spoke that language.”(Benjamín Labatut, The MANIAC)“Let the whole outside world consist of a long paper tape.”(John von Neumann, 1948) (...) Introduction The Old Dream of... (shrink)

Using web standards, such as uniform resource identifiers (URIs), XML and HTTP, for naming and describing resources which are not information objects is the key difference between the Web as we know it today and the Semantic Web. Naming and interlinking this type of resources by HTTP URIs (instead of individual constants in a formal language) is the key feature which distinguishes traditional knowledge representation from web-scale knowledge representation. However, this use of URIs brought back attention to the old (...) philosophical problem of identity and reference in a new form. In this paper, we analyze the new version of the problem, provide a formal model for dealing with it when interlinking knowledge on the Web, and argue for the need of a distinction between the use of URIs for describing and accessing resources, and the use of URIs for fixing the reference . We show that in the current practice of linking data these roles are not clearly distinguished, and that this fact may cause unwanted effects and prevent some basic forms of data integration. We also discuss the role of an entity name system as a potential piece of infrastructure for fixing the reference in the Semantic Web. (shrink)

Knowledge representation is a central issue for Artificial Intelligence and the Semantic Web. In particular, the problem of representing n-ary relations in RDF-based languages such as RDFS or OWL by no means is an obvious one. With respect to previous attempts, we show why the solutions proposed by the well known W3C Working Group Note on n-ary relations are not satisfactory on several scores. We then present our abstract model for representing n-ary relations as directed labeled graphs, and we (...) show how this model gives rise to a new ontological pattern (parametric pattern) for the representation of such relations in the Semantic Web. To this end, we define PROL (Parametric Relational Ontology Language). PROL is an ontological language designed to express any n-ary fact as a parametric pattern, which turns out to be a special RDF graph. The vocabulary of PROL is defined by a simple RDFS ontology. We argue that the parametric pattern may be particularly beneficial in the context of the Semantic Web, in virtue of its high expressive power, technical simplicity, and faithful meaning rendition. Examples are also provided. (shrink)

1st GPMR Workshop on Logic and Semantics: Medieval Logic and Modern Applied Logic, Reinische Friedrich Wilhelms Universität Bonn, Germany, 2007.

Since e-Commerce has become a discipline, e-Contracts are acknowledged as the tools that will assure the safety and robustness of the transactions. A typical e-Contract is a binding agreement between parties that creates relations and obligations. It consists of clauses that address specific tasks of the overall procedure which can be represented as workflows. Similarly to e-Contracts, Intelligent Agents manage a private policy, a set of rules representing requirements, obligations and restrictions, additionally to personal data that meet their user’s interests. (...) In this context, this study aims at proposing a policy-based e-Contract workflow management methodology that can be used by semantic web agents, since agents benefit from Semantic Web technologies for data and policy exchanges, such as RDF and RuleML that maximize interoperability among parties. Furthermore, this study presents the integration of the above methodology into a multi-agent knowledge-based framework in order to deal with issues related to rules exchange where no common syntax is used, since this framework provides reasoning services that assist agents in interpreting the exchanged policies. Finally, a B2C e-Commerce scenario is presented that demonstrates the added value of the approach. (shrink)

I present a new version of the adverbial theory of visual experience, and give a semantic argument for it.

Five years ago, the Journal of Nietzsche Studies published a special issue on Nietzsche and the affects. In it, Aurelia Armstrong wrote generically about the passions, Michael Ure discussed Schadenfreude, Joanne Faulkner addressed disgust, and Joseph Kuzma focused on eroticism.1 In subsequent issues, authors have discussed love,2 emotion in general,3 resentment,4 compassion,5 honor and empathy,6 and affect in general.7 This special section on emotions and reactive attitudes is a chance to take stock of the progress we have made as a (...) field, draw connections among the affects and emotions addressed in the secondary literature, and introduce new ideas and tools for future research.If the articles here are any... (shrink)

To appear in Proceedings of Semantics and Linguistic Theory XVI. Ithaca, NY: CLC.

of (from Philosophy Dissertations Online).

This paper develops a framework for TAG (Tree Adjoining Grammar) semantics that brings together ideas from different recent approaches. Then, within this framework, an analysis of scope is proposed that accounts for the different scopal properties of quantifiers, adverbs, raising verbs and attitude verbs. Finally, including situation variables in the semantics, different situation binding possibilities are derived for different types of quantificational elements.

This is a discussion of different ways of working out the idea that the semantic paradoxes show that natural languages are somehow “inconsistent”. I take the workable form of the idea to be that there are expressions such that a necessary condition of understanding them is that one be inclined to accept inconsistent claims (an conception also suggested by Matti Eklund). I then distinguish “simple” from “complex” forms of such views. On a simple theory, such expressions are meaningless, while (...) on a complex theory they are not. I argue that complex theories are incompatible with truth conditional semantics and that simple theories are only coherent when the inconsistent claims are metalingusitic attributions of meaning. I close with a discussion of the version of the simple metalinguistic theory I have defended in “Understanding the Liar” and other papers. (shrink)

paper, abstract, revised handout, original handoutto appear in the Proceedings of Sinn und Bedeutung 12 (Oslo, 2007). The paper argues that the variability of the uniqueness effects exhibited by Hindi and Romanian correlatives is due to their mixed referential and quantificational nature. The account involves an articulated notion of quantification, independently motivated by donkey anaphora and quantificational subordination and consisting of both (discourse) referential components and non-referential components (dynamic operators over plural info states). The variable uniqueness effects emerge out of (...) the interaction between: (i) the semantics of wh-indefinites, singular anaphors and habitual morphology and (ii) the pragmatics of quantification, which allows for the selection of different levels of ‘zoom-in’ on the quantified-over objects. (shrink)

In [HKL00] (henceforth HKL), Hamm, Kamp and van Lambalgen declare ‘‘there is no opposition between formal and cognitive semantics,’’ notwithstanding the realist/mentalist divide. That divide separates two sides Jackendo¤ has (in [Jac96], following Chomsky) labeled E(xternalized)-semantics, relating language to a reality independent of speakers, and I(nternalized)-semantics, revolving around mental representations and thought. Although formal semanticists have (following David Lewis) traditionally leaned towards E-semantics, it is reasonable to apply formal methods also to I-semantics. This point is made clear in HKL via (...) two computational approaches to natural language semantics, Discourse Representation Theory (DRT, [KR93]) and the Event Calculus (EC) presented in [LH05]. In this short note, I wish to raise certain questions about EC that can be traced to the applicability of formal methods to E-semantics and I-semantics alike. These opposing orientations suggest di¤erent notions of time, event and representation. (shrink)