SOFSEM 2006: Theory and Practice of Computer Science: 32nd by S. Barry Cooper (auth.), Jiří Wiedermann, Gerard Tel,

By S. Barry Cooper (auth.), Jiří Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július à tuller (eds.)

This e-book constitutes the refereed lawsuits of the thirty second convention on present tendencies in thought and perform of laptop technology, SOFSEM 2006, held in Merin, Czech Republic. The forty five revised complete papers, together with the easiest scholar learn discussion board paper, awarded including 10 invited contributions have been conscientiously reviewed and chosen from 157 submissions. The papers have been geared up in 4 topical tracks on laptop technological know-how foundations, instant, cellular, advert hoc and sensor networks, database applied sciences, and semantic internet applied sciences. The papers have been geared up in 4 topical tracks on desktop technological know-how foundations, instant, cellular, advert hoc and sensor networks, database applied sciences, and semantic internet technologies.

Show description

Read or Download SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings PDF

Similar computers books

Fire in the Valley: The Birth and Death of the Personal Computer

Within the Seventies, whereas their contemporaries have been protesting the pc as a device of dehumanization and oppression, a motley selection of collage dropouts, hippies, and electronics lovers have been engaged in anything even more subversive. passionate about the assumption of having computing device strength into their very own palms, they introduced from their garages a hobbyist stream that grew into an undefined, and finally a social and technological revolution.

STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

This ebook constitutes the refereed complaints of the twenty third Annual Symposium on Theoretical features of computing device technological know-how, STACS 2006, held in Marseille, France, in February 2006. The fifty four revised complete papers awarded including 3 invited papers have been rigorously reviewed and chosen from 283 submissions.

Compel (Vol. 23, 2004): Special Issue

Distinctive factor: chosen papers from PMAPS 2002 -Conference on Probabilistic equipment utilized to strength platforms, Naples 2002

Extra resources for SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

Sample text

A unifying approach is necessary to cover all cases. The problem becomes even more complicated due to the fact that not all different types of change are readily available at design-time. New needs may require new operations. For operations that are not in the supported list, the ontology engineer should choose a sequence of two or more simpler (more elementary) operations of different granularity. Unfortunately, such a choice will undoubtedly affect the quality of the change, leading to unforeseeable problems [30].

We argue that the properties of the representation languages commonly used in ontologies (such as DLs) make such an option necessary. Most belief change approaches assume that the underlying logic contains the usual operators of classical logic (like ∧, ∨ etc) and includes classical tautological implication. , a singular set). The above assumptions fail for DLs and OWL [9], because, in many DLs, the conjunction of axioms is not possible (among other things); thus, in such DLs, there are facts which are expressible by a set of axioms, yet non-expressible by any single axiom.

Knowledge Engineering Review 18 1 (2003) 1-31 21. : Ontology Revision Using the Concept of Belief Revision. In Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, part III (2004) 8-15 22. : On the Difference Between Updating a Knowledge Base and Revising It. Technical Report on Knowledge Representation and Reasoning, University of Toronto, Canada, KRR-TR-90-6 (1990) 23. : Ontology Versioning on the Semantic Web. In Proceedings of the International Semantic Web Working Symposium (2001) 75-91 24.

Download PDF sample

Rated 4.55 of 5 – based on 31 votes

Related posts