Les politiques urbaines de « reconstruction » post-apartheid de ces dernières décennies n’ont pas permis de réduire les injustices spatiales du Gauteng et de Johannesburg en particulier. Sous l’impulsion des acteurs privés, les résidences fermées d’entrée de gamme, symbole de l’ascension sociale des classes moyennes, diffusent de nouvelles formes de relégation et de fragmentation qui questionnent fortement le lien social, l’étalement et la mobilité croissante. Le peu d’investigations menées sur cette ville « moyenne », qui se veut synonyme de progrès et de modernité, offre l’opportunité de mobiliser une réflexion nouvelle sur les interrelations qui existent entre production de la ville, pratiques et territoires. Loin d’être monolithique, le logement d’entrée de gamme s’est développé à travers maints arrangements institutionnels particuliers et géographiquement situés. Le rôle des acteurs privés impliqués dans la gouvernance urbaine, souvent méconnu et rarement étudié, est devenu la clé de voûte des transformations contemporaines de la ville. L’originalité de ce travail a été de révéler les principes de constitution de savoirs spécialisés et spatialisés, qui éclairent le processus de codification des pratiques et donc la naissance de l’urbanisme sécuritaire institutionnalisé au sein de la métropole.Le détour comparatif avec Delhi a été l’occasion de valider que ces résultats avaient une portée générale cumulable, tout en délocalisant le regard. / The post-apartheid urban policies of the last decades aiming at “rebuilding” the nation, have not led to reducing spatial injustice in Gauteng, and Johannesburg in particular. Spurred on by private actors, bottom-of-the-range closed residences, which symbolise the upward social mobility of the middle class, spread new forms of relegation and fragmentation, thereby challenging social links, urban sprawl and growing mobility. The little research carried out on this “average” city, which is meant to be synonymous with progress and modernity, is an opportunity to develop new thoughts on existing interrelations between urban production, practices and territories.Far from being monolithic, bottom-of-the-range housing is being developed through many specific and geographically located institutional arrangements. The role played by private actors involved in urban governance, which is often largely unknown and rarely being studied, has become the keystone of the city’s contemporary transformations. The novelty behind this research work is that it reveals the principles of what constitutes specialised and spatialized expertise, thereby shedding light on the codification process of practices and, as such, the birth of institutionalised security town planning within the metropolis.Comparing Johannesburg with Delhi was an opportunity to validate the fact that these results could be significantly drawn concurrently, while studying two different sites

Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos sÃo que a logica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a logica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertaÃÃo, analisaremos inicialmente a expressividade de algumas logicas modais com relacÃo ao problema de decisÃo REACH e veremos que e possvel expressa-lo com as logicas temporais CTL e CTL. Analisaremos tambem o uso combinado de logicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada nvel dessa hierarquia captura cada nvel da hierarquia determinstica em tempo exponencial. Como corolario, provamos que a hierarquia de HOi(LFP) nÃo colapsa, ou seja, HOi(LFP) HOi+1(LFP) / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL. We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP)

Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. Nationella projekt har drivits, företrädesvis i syfte att förbättra vård och omsorg av personer med demenssjukdom, men även för att förbättra diagnosticering och behandling. I denna avhandling beskrivs utvecklingen av det dator-baserade beslutsstödet för demensutredning, DMSS (Dementia Management and Support System), som syftar till att fungera som ett stöd för personer som arbetar med att diagnosticera och behandla personer med kognitiv sjukdom. Domänen valdes även på grund av dess komplicerade kunskapsinnehåll, där bland annat en spännvidd av olika typer av symptom, komplexa kliniska mätmetoder sett ur ett formaliseringsperspektiv, starkt teamorienterat arbetssätt, ställer krav på hur kunskap ska och är möjlig att formaliseras och integreras i ett beslutsstödsystem för att det ska bli användbart i kliniskt arbete. De olika studierna och delprojekten som beskrivs i avhandlingen syftar till att tillsammans skapa en grund för utveckling av ett kliniskt kognitivt verktyg som stödjer och utvecklar användarens kognitiva processer (lärande, beslutsfattande, resonemang, etc.), samtidigt som det stödjer utvecklingen av det kliniska arbetet vari systemet ingår. I detta arbete fokuseras demensutredning som applikationsomr åde. Analyser har gjorts av den vidare användarkontexten, resonemangsprocesser, domän- och processkunskapen uttryckt i evidensbaserad litteratur och integrerad i klinisk praktik, terminologier samt formaliseringstekniker som kan hantera domänkunskapens egenskaper och användarsituationens krav. Prototyper har utvecklats och utvärderats i en iterativ process i samarbete med domänexperter, för användande i klinisk praktik i Sverige och Japan. För dessa studier har kvalitativa metoder använts i syfte att fånga så många olika aspekter som möjligt angående formalisering och interaktion, samt av praktiska skäl då det funnits begränsad tillgång till expertanvändare och patienter. Triangulering av metoder har tillämpats för att validera resultat. Kliniska utredningsverksamheter är komplexa processer, som är situerade, emergenta och styrda av individens behov, men även begränsade eller möjliggjorda av tillgängliga resurser på olika vårdnivåer i vårdprocessen. Det behövs metoder och verktyg som kan användas vid utveckling av system som syftar till att stödja dessa verksamheter. Det finns exempel på metoder som utvecklats för transformation av informell klinisk kunskap till en formell struktur som kan implementeras i ett beslutsstödsystem, där verktyg har utvecklats primärt i syfte att hjälpa kliniska experter att transformera sin kunskap till något en systemutvecklare kan använda. Den största nackdelen med dessa angreppssätt är att de är tidskrävande för experterna att sätta sej in i och använda. En metod har tillämpats i detta arbete där en teoribildning, som är gemensam för flera forskningsområden, använts för att strukturera klinisk process- och domänkunskap i en form som kan användas i formaliseringsarbete. Den konceptuella modellen av kliniskt arbete som utvecklats är baserad på verksamhetsteorin, kompletterad med general logics som kategoriskt, formellt teoretiskt ramverk för att möjliggöra transformationer mellan olika logiska språk och flexibel representation av riktlinjer och kunskap. Genom att göra en grundlig verksamhetsanalys utifrån ett aktivitetsperspektiv med hjälp av modellen, kan komponenter identifieras som kan formaliseras i en kunskapsbas och/eller kompletteras genom en design och implementation av ett gränssnitt som stödjer ett interaktivt resonemang och den kliniska processen. Resultatet av verkamhetsanalys och andra studier som presenteras i denna avhandling kommer att ligga till grund för vidare utveckling av DMSS för olika användarmiljöer, till att börja med i Sverige och Japan. Extensioner av systemet kommer att utvecklas som stödjer de olika ingående professionerna på olika vårdnivåer. Den konceptuella modellen kommer att utvecklas och tillämpas i framtida utvecklingsprojekt där beslutsstöd är en central komponent. Det formella ramverket kommer att utvecklas i syfte att kunna analysera och förfina kunskap i perspektivet av exempelvis olika set av kliniska riktlinjer som ställer olika krav på komplexitet hos logiken. Stödet till ett interaktivt resonemang vid användandet av systemet ska utvecklas med en kunskapsbas och ett dynamiskt gränssnitt speciellt utformat för ändamålet. Hittills har i första hand kvalitativa aspekter och syften varit i fokus i de olika projekten. Därför behöver varje utvecklingslinje ytterligare utvecklas med kvantitativa mål. Utvidgade utvärderingsstudier pågår, som syftar till att undersöka fördelning mellan olika nivåer av komplexitet hos patienter och vilken typ av stöd som behövs för respektive. När systemet är integrerat i daglig verksamhet kan faktorer som hur användande av systemet påverkar användaren och verksamheten undersökas. / There is a need to improve dementia care in Sweden. The main issues discussed are how to improve the competence of medical personnel and the quality of diagnosis and intervention. In this thesis the process of developing a decision-support system for the investigation of dementia is described, as one means to meet the need. The resulting prototype system DMSS (Dementia Management Support System) has been developed in cooperation with domain experts, and has been evaluated and redesigned in the process in an iterative development process. The process involves the assessment of evidence-based domain knowledge and its characteristics, the assessment of the procedural knowledge residing in clinical practice, and reasoning processes. Further, the terminology and main reasoning process integrated in the system have been validated. Qualitative methods have been used for these parts of the project for the purpose of assessing as many different aspects as possible, and for practical reasons due to the limited access to domain experts, patients and primary care physicians in the area. Triangulation of methods has been applied in order to validate results in the process. The development has been extended to also include prototypes for Japanese clinical environments. Clinical investigation activities are complex processes, which are situated, emergent and directed by the individual need of the patient, but also restricted or enhanced by the available resources at different points and at different care levels in the process. For the purpose of creating a system which provides support throughout the investigation process, the domain knowledge and the clinical investigation process was analysed and formalised in a conceptual model of clinical activity, developed based on activity theory and case studies of patients. The need for methods for the transformation of informal results from field studies into formal knowledge and design is addressed by providing the framework, which integrates the conceptual model of clinical activity and a method for the assessment and transformation of the knowledge to be integrated in a decision-support system. The model was used to identify actions and their characteristics suitable for formalisation in a decision-support system. Several sources of domain knowledge need to be integrated that express the knowledge differently, which increases the demands on a formalism for representation. The work towards formalising the diagnostic reasoning process in both typical and atypical patient's cases is presented, where the evidence in ambiguous cases is valued within different frames of references in order to improve specificity. Different logical frameworks have been applied, evaluated and developed using case studies of patients. Two lines of work towards a dementia logic and flexible guideline representation is presented; the defeasible, non-monotonic approach where many-valued dictionaries are used in a context-based argumentation framework; and the monotonic approach of integrating reasoning in a fundamental view of transformations between logics, using general logics as generalised and categorical framework.

The automatic extraction of knowledge from the world by a robotic system as human beings interpret their environment through their senses is still an unsolved task in Artificial Intelligence. A robotic agent is in contact with the world through its sensors and other electronic components which obtain and process mainly numerical information. Sonar, infrared and laser sensors obtain distance information. Webcams obtain digital images that are represented internally as matrices of red, blue and green (RGB) colour coordinate values. All this numerical values obtained from the environment need a later interpretation in order to provide the knowledge required by the robotic agent in order to carry out a task. Similarly, light wavelengths with specific amplitude are captured by cone cells of human eyes obtaining also stimulus without meaning. However, the information that human beings can describe and remember from what they see is expressed using words, that is qualitatively. The exact process carried out after our eyes perceive light wavelengths and our brain interpret them is quite unknown. However, a real fact in human cognition is that people go beyond the purely perceptual experience to classify things as members of categories and attach linguistic labels to them. As the information provided by all the electronic components incorporated in a robotic agent is numerical, the approaches that first appeared in the literature giving an interpretation of this information followed a mathematical trend. In this thesis, this problem is addressed from the other side, its main aim is to process these numerical data in order to obtain qualitative information as human beings can do. The research work done in this thesis tries to narrow the gap between the acquisition of low level information by robot sensors and the need of obtaining high level or qualitative information for enhancing human-machine communication and for applying logical reasoning processes based on concepts. Moreover, qualitative concepts can be added a meaning by relating them to others. They can be used for reasoning applying qualitative models that have been developed in the last twenty years for describing and interpreting metrical and mathematical concepts such as orientation, distance, velocity, acceleration, and so on. And they can be also understood by human-users both written and read aloud. The first contributions presented are the definition of a method for obtaining fuzzy distance patterns (which include qualitative distances such as ‘near’, far’, ‘very far’ and so on) from the data obtained by any kind of distance sensors incorporated in a mobile robot and the definition of a factor to measure the dissimilarity between those fuzzy patterns. Both have been applied to the integration of the distances obtained by the sonar and laser distance sensors incorporated in a Pioneer 2 dx mobile robot and, as a result, special obstacles have been detected as ‘glass window’, ‘mirror’, and so on. Moreover, the fuzzy distance patterns provided have been also defuzzified in order to obtain a smooth robot speed and used to classify orientation reference systems into ‘open’ (it defines an open space to be explored) or ‘closed’. The second contribution presented is the definition of a model for qualitative image description (QID) by applying the new defined models for qualitative shape and colour description and the topology model by Egenhofer and Al-Taha [1992] and the orientation models by Hernández [1991] and Freksa [1992]. This model can qualitatively describe any kind of digital image and is independent of the image segmentation method used. The QID model have been tested in two scenarios in robotics: (i) the description of digital images captured by the camera of a Pioneer 2 dx mobile robot and (ii) the description of digital images of tile mosaics taken by an industrial camera located on a platform used by a robot arm to assemble tile mosaics. In order to provide a formal and explicit meaning to the qualitative description of the images generated, a Description Logic (DL) based ontology has been designed and presented as the third contribution. Our approach can automatically process any random image and obtain a set of DL-axioms that describe it visually and spatially. And objects included in the images are classified according to the ontology schema using a DL reasoner. Tests have been carried out using digital images captured by a webcam incorporated in a Pioneer 2 dx mobile robot. The images taken correspond to the corridors of a building at University Jaume I and objects with them have been classified into ‘walls’, ‘floor’, ‘office doors’ and ‘fire extinguishers’ under different illumination conditions and from different observer viewpoints. The final contribution is the definition of a similarity measure between qualitative descriptions of shape, colour, topology and orientation. And the integration of those measures into the definition of a general similarity measure between two qualitative descriptions of images. These similarity measures have been applied to: (i) extract objects with similar shapes from the MPEG7 CE Shape-1 library; (ii) assemble tile mosaics by qualitative shape and colour similarity matching; (iii) compare images of tile compositions; and (iv) compare images of natural landmarks in a mobile robot world for their recognition. The contributions made in this thesis are only a small step forward in the direction of enhancing robot knowledge acquisition from the world. And it is also written with the aim of inspiring others in their research, so that bigger contributions can be achieved in the future which can improve the life quality of our society.

Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.

This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.

The present work deals with Description Logics (DLs), a class of knowledge representation formalisms used to represent and reason about classes of individuals and relations between such classes in a formally well-defined way. We provide novel results in three main directions. (1) Tractable reasoning revisited: in the 1990s, DL research has largely answered the question for practically relevant yet tractable DL formalisms in the negative. Due to novel application domains, especially the Life Sciences, and a surprising tractability result by Baader, we have re-visited this question, this time looking in a new direction: general terminologies (TBoxes) and extensions thereof defined over the DL EL and extensions thereof. As main positive result, we devise EL++(D)-CBoxes as a tractable DL formalism with optimal expressivity in the sense that every additional standard DL constructor, every extension of the TBox formalism, or every more powerful concrete domain, makes reasoning intractable. (2) Non-standard inferences for knowledge maintenance: non-standard inferences, such as matching, can support domain experts in maintaining DL knowledge bases in a structured and well-defined way. In order to extend their availability and promote their use, the present work extends the state of the art of non-standard inferences both w.r.t. theory and implementation. Our main results are implementations and performance evaluations of known matching algorithms for the DLs ALE and ALN, optimal non-deterministic polynomial time algorithms for matching under acyclic side conditions in ALN and sublanguages, and optimal algorithms for matching w.r.t. cyclic (and hybrid) EL-TBoxes. (3) Non-standard inferences over general concept inclusion (GCI) axioms: the utility of GCIs in modern DL knowledge bases and the relevance of non-standard inferences to knowledge maintenance naturally motivate the question for tractable DL formalism in which both can be provided. As main result, we propose hybrid EL-TBoxes as a solution to this hitherto open question.

Ο Σημαντικός Ιστός (Semantic Web) είναι ένας συνδυασμός τεχνολογιών και προτύπων με σκοπό να προσδοθεί στη διαδικτυακή πληροφορία αυστηρά καθορισμένη σημασιακή δομή και ερμηνεία. Στόχος είναι να μπορούν οι χρήστες του Παγκόσμιου Ιστού καθώς και αυτοματοποιημένοι πράκτορες να επεξεργάζονται, να διαχειρίζονται και να αξιοποιούν την κατάλληλα χαρακτηρισμένη πληροφορία με τρόπο ευφυή και αποδοτικό. Ωστόσο, παρά τις τεχνικές που έχουν κατά καιρούς προταθεί, δεν υπάρχει ξεκάθαρη μέθοδος ώστε, αξιοποιώντας το φάσμα του Σημαντικού Ιστού, η διαδικτυακή πληροφορία να ανακτάται με τρόπο παραγωγικό, δηλαδή με βάση τα ήδη εκπεφρασμένα γεγονότα να συνάγεται νέα, άρρητη πληροφορία. Για την αντιμετώπιση αυτής της κατάστασης, αρχικά εισάγεται και προσδιορίζεται το πρόβλημα της Ανακάλυψης Γνώσης στο Σημαντικό Ιστό (Semantic Web Knowledge Discovery, SWKD). Η Ανακάλυψη Γνώσης στο Σημαντικό Ιστό εκμεταλλεύεται το σημασιακό υπόβαθρο και τις αντίστοιχες σημασιακές περιγραφές των πληροφοριών, όπως αυτές είναι θεμελιωμένες σε μια λογική θεωρία (οντολογίες εκφρασμένες σε γλώσσα OWL). Βάσει αυτών και με τη χρήση των κατάλληλων μηχανισμών αυτοματοποιημένου συλλογισμού μπορεί να συμπεραθεί νέα, άδηλη γνώση, η οποία, μέχρι τότε, μόνο υπονοούνταν στα ήδη υπάρχοντα δεδομένα. Για να απαντηθεί το ερώτημα αν και σε πιο βαθμό οι τεχνολογίες και η λογική θεωρία του Σημαντικού Ιστού συνεισφέρουν αποδοτικά και εκφραστικά στο πρόβλημα της SWKD καταρτίζεται μια πρότυπη Μεθοδολογία Ανακάλυψης Γνώσης στο Σημαντικό Ιστό, η οποία θεμελιώνεται σε πρόσφατα θεωρητικά αποτελέσματα, αλλά και στην ποιοτική και πειραματική συγκριτική αξιολόγηση διαδεδομένων μηχανισμών συμπερασμού (inference engines) που βασίζονται σε Λογικές Περιγραφής (Description Logics). H αποδοτικότητα και η εκφραστικότητα της μεθόδου αυτής δείχνεται ότι εξαρτώνται από συγκεκριμένους θεωρητικούς, οργανωτικούς και τεχνικούς περιορισμούς. Η πειραματική επαλήθευση της μεθοδολογίας επιτυγχάνεται με την κατασκευή και επίδειξη της Διεπαφής Ανακάλυψης Γνώσης (Knowledge Discovery Interface) μιας κατανεμημένης δηλαδή δικτυακής υπηρεσίας, η οποία έχει εφαρμοστεί με επιτυχία σε πειραματικά δεδομένα. Τα αποτελέσματα που προκύπτουν με τη χρήση της διεπαφής επαληθεύουν, μέχρι ορισμένο βαθμό, τις υποθέσεις που έχουν γίνει σχετικά κυρίως με την παράμετρο της εκφραστικότητας και δίνουν το έναυσμα για την αναζήτηση και εξέταση της υποστήριξης των νέων προτεινόμενων επεκτάσεων της λογικής θεωρίας του Σημαντικού Ιστού, δηλαδή της γλώσσας OWL 1.1. Για την ενίσχυση της εκφραστικότητας της ανακάλυψης γνώσης στην περίπτωση συγκεκριμένων πεδίων γνώσης (knowledge domains) εισάγεται μια νέα τεχνική, αποκαλούμενη Σημασιακή Προσαρμογή. Η τεχνική αυτή εξελίσσει την Προσαρμογή Μεταδεδομένων Εφαρμογής (Metadata Application Profiling) από μια επίπεδη συρραφή και συγχώνευση σχημάτων και πεδίων μεταδεδομένων, σε μία ουσιαστική επέκταση και σημασιακή αναγωγή και εμπλουτισμό του αντίστοιχου μοντέλου στο οποίο εφαρμόζεται. Έτσι, η σημασιακή προσαρμογή εξειδικεύει ένα οντολογικό μοντέλο ως προς μια συγκεκριμένη εφαρμογή, όχι απλά με την προσθήκη λεξιλογίου από ετερογενή σχήματα, αλλά μέσω της σημασιακής εμβάθυνσης (semantic intension) και εκλέπτυνσης (semantic refinement) του αρχικού μοντέλου. Η τεχνική αυτή και τα αποτελέσματά της επαληθεύονται πειραματικά με την εφαρμογή στο μοντέλο πληροφοριών πολιτιστικής κληρονομιάς CIDOC-CRM και δείχνεται ότι, με τη χρήση κατάλληλων μεθόδων, η γενική εφαρμοσιμότητα του μοντέλου μπορεί να διαφυλαχθεί. Για να μπορεί όμως η Ανακάλυψη Γνώσης στο Σημαντικό Ιστό να δώσει ικανοποιητικά αποτελέσματα, απαιτούνται όσο το δυνατόν πληρέστερες και αυξημένες περιγραφές των δικτυακών πόρων. Παρόλο που πληροφορίες άμεσα συμβατές με τη λογική θεωρία του Σημαντικού Ιστού δεν είναι ευχερείς, υπάρχει πληθώρα δεδομένων οργανωμένων σε επίπεδα σχήματα μεταδεδομένων (flat metadata schemata). Διερευνάται επομένως αν η SWKD μπορεί να εφαρμοστεί αποδοτικά και εκφραστικά στην περίπτωση τέτοιων ημιδομημένων μοντέλων γνώσης, όπως για παράδειγμα στην περίπτωση του σχήματος μεταδεδομένων Dublin Core. Δείχνεται ότι το πρόβλημα αυτό ανάγεται μερικώς στην εφαρμογή της σημασιακής προσαρμογής στην περίπτωση τέτοιων μοντέλων, ενώ για τη διαφύλαξη της διαλειτουργικότητας και την επίλυση αμφισημιών που προκύπτουν εφαρμόζονται ανάλογες μέθοδοι και επιπλέον εξετάζεται η τεχνική της παρονομασίας (punning) που εισάγει η OWL 1.1, βάσει της οποίας ο ορισμός ενός ονόματος μπορεί να έχει κυμαινόμενη σημασιακή ερμηνεία ανάλογα με τα συμφραζόμενα. Συμπερασματικά, οι νέες μέθοδοι που προτείνονται μπορούν να βελτιώσουν το πρόβλημα της Ανακάλυψης Γνώσης στο Σημαντικό Ιστό ως προς την εκφραστικότητα, ενώ ταυτόχρονα η πολυπλοκότητα παραμένει η μικρότερη δυνατή. Επιτυγχάνουν επίσης την παραγωγή πιο εκφραστικών περιγραφών από υπάρχοντα μεταδεδομένα, προτείνοντας έτσι μια λύση στο πρόβλημα της εκκίνησης (bootstrapping) για το Σημαντικό Ιστό. Παράλληλα, μπορούν να χρησιμοποιηθούν ως βάση για την υλοποίηση πιο αποδοτικών τεχνικών κατανεμημένου και αυξητικού συλλογισμού. / Semantic Web is a combination of technologies and standards in order to give Web information strictly defined semantic structure and meaning. Its aim is to enable Web users and automated agents to process, manage and utilize properly described information in intelligent and efficient ways. Nevertheless, despite the various techniques that have been proposed, there is no clear method such that, by taking advantage of Semantic Web technologies, to be able to retrieve information deductively, i.e. to infer new and implicit information based on explicitly expressed facts. In order to address this situation, the problem of Semantic Web Knowledge Discovery (SWKD) is first specified and introduced. SWKD takes advantage of the semantic underpinnings and semantic descriptions of information, organized in a logic theory (i.e. ontologies expressed in OWL). Through the use of appropriate automated reasoning mechanisms, SWKD makes then possible to deduce new and unexpressed information that is only implied among explicit facts. The question as to whether and to what extent do Semantic Web technologies and logic theory contribute efficiently and expressively enough to the SWKD problem is evaluated through the establishment of a SWKD methodology, which builds upon recent theoretical results, as well as on the qualitative and experimental comparison of some popular inference engines, based on Description Logics. It is shown that the efficiency and expressivity of this method depends on specific theoretical, organizational and technical limitations. The experimental verification of this methodology is achieved through the development and demonstration of the Knowledge Discovery Interface (KDI), a web-distributed service that has been successfully applied on experimental data. The results taken through the KDI confirm, to a certain extent, the assumptions made mostly about expressivity and motivate the examination and investigation of the newly proposed extensions to the Semantic Web logic theory, namely the OWL 1.1 language. In order to strengthen the expressivity of knowledge discovery in the case of particular knowledge domains a new technique is introduced, known as Semantic Profiling. This technique evolves traditional Metadata Application Profiling from a flat aggregation and mixing of schemata and metadata elements to the substantial extension and semantic enhancement and enrichment of the model on which it is applied. Thus, semantic profiling actually profiles an ontological model for a particular application, not only by bringing together vocabularies from disparate schemata, but also through the semantic intension and semantic refinement of the initial model. This technique and its results are experimentally verified through its application on the CIDOC-CRM cultural heritage information model and it is shown that, through appropriate methods, the general applicability of the model can be preserved. However, for SWKD to be of much value, it requires the availability of rich and detailed resource descriptions. Even though information compatible with the Semantic Web logic theory are not always readily available, there are plenty of data organized in flat metadata schemata. To this end, it is investigated whether SWKD can be efficiently and expressively applied on such semi-structured knowledge models, as is the case for example with the Dublin Core metadata schema. It is shown that this problem can be partially reduced to applying semantic profiling on such models and, in order to retain interoperability and resolve potential ambiguities, the OWL 1.1 punning feature is investigated, based on which a name definition may have variable semantic interpretation depending on the ontological context. In conclusion, these newly proposed methods can improve the SWKD problem in terms of expressive strength, while keeping complexity as low as possible. They also contribute to the creation of expressive descriptions from existing metadata, suggesting a solution to the Semantic Web bootstrapping problem. Finally, they can be utilized as the basis for implementing more efficient techniques that involve distributed and incremental reasoning.

The aim of this thesis is to create knowledge on processes of change in the contemporary organizing of Swedish voluntary sport and the systems of meaning at work in these processes. The thesis proceeds from the assumption that the contemporary public sport policy climate is characterized by a pressure on organized sport to change in order for sport to better serve as an implementer of non-sport goals. In attempting to capture the possible ramifications of this pressure on the organizing of voluntary sport, the thesis work relies on the argument that processes of change are best captured in instances where new and established ideas are confronted with one another. Following this argument and drawing upon the concept of theorization, the first research question treated in the thesis concerns how legitimacy is established for a new practice (reported in Article 1). The second research question addressed is how, why, and with what consequences new ideas on organizing are implemented in sport organizations (reported in Article 2 & 3). In relation to this question, the concepts of translation and organizational identity are mobilized in the analysis. Empirically, these two questions are addressed using data from 29 interviews covering the emergence and organizing of organized spontaneous sport, so-called Drive in sport, in four Swedish municipalities. The analysis relating to these two questions shows that the same systems of meaning invoked to legitimize and specify Drive-in sport as a practice that has the potential to remedy problems being faced by both the Swedish society and the Swedish sports movement, also made Drive-in sport an unlikely developmental direction for the majority of implementing sport clubs. This process is understood with reference to a mismatch between the organizational identity of the clubs and the cultural material of the idea of Drive-in sport. This insight is brought into the formulation of the third research question treated in the thesis, which is concerned with sport clubs’ readiness, willingness, and ability to respond to policy changes (reported in Article 4). Building on data from short, qualitative interviews with representatives from 218 randomly selected sport clubs, 10 organizational identity categories are constructed. Between these categories, there is a variety of clubs’ core purposes, practices, and logics of action. The implications of this heterogeneity, in terms of sport clubs’ role as policy implementers, are discussed with reference to what clubs in each category might "imagine doing." The analysis provided in the thesis as a whole suggests that at stake in processes of change in the contemporary organizing of Swedish voluntary sport, is the very definition and meaning of sport.

The aim of this paper is to investigate dominant beliefs and approaches to the "cultural entrepreneur" both within a public context, and also among business owners within the cultural field. What happens when ideas and attitudes in the public sector towards culture driven businesses meets the perspective of individual cultural entrepreneurs? This study is based on analysis of political documents about the cultural and creative industries (CCI) from the European union, national level and regional level. Interviews with six business owners in the field of culture and one representative of the Swedish region with the fictive name “Alma” has been conducted. The research is also based on participant observation in public seminars and conferences about the creative industries in Sweden. The paper mainly uses Queer phenomenological theory (Sara Ahmed) to analyze the informants life worlds and how they are oriented in the same. The study is also based on poststructuralist discourse analysis and the logics approach, developed by Jason Glynos and David Howarth when analyzing political documents. This research shows there is a complex and contradictory approach towards the CCI and the cultural entrepreneur based on idealized images about the artist and the businessman, idealized images thats been existing in the discourses over a long time and which created deep structures. The cultural entrepreneurs are being described as the hope and future of the economy and welfare in Europe and its regions and at the same time as something very costly which no one really have faith in. This dual approach is a contributing factor to change being prevented.