DOCSLIB.ORG

Metadata Foundations for the Life Cycle Management of Software Systems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Metadata Foundations for the Life Cycle Management of Software Systems Metadata Foundations for the Life Cycle Management of Software Systems David Paul Hyland-Wood A thesis submitted for the degree of Doctor of Philosophy at The University of Queensland in July 2008 School of Information Technology and Electrical Engineering Declaration by Author This thesis is composed of my original work, and contains no material previously published or written by another person except where due reference has been made in the text. I have clearly stated the contribution by others to jointly authored works that I have included in my thesis. I have clearly stated the contribution of others to my thesis as a whole, including statistical assistance, survey design, data analysis, significant technical procedures, professional editorial advice, and any other original research work used or reported in my thesis. The content of my thesis is the result of work I have carried out since the commencement of my research higher degree candidature and does not include a substantial part of work that has been submitted to qualify for the award of any other degree or diploma in any university or other tertiary institution. I have clearly stated which parts of my thesis, if any, have been submitted to qualify for another award. I acknowledge that an electronic copy of my thesis must be lodged with the University Library and, subject to the General Award Rules of The University of Queensland, immediately made available for research and study in accordance with the Copyright Act 1968. I acknowledge that copyright of all material contained in my thesis resides with the copyright holder(s) of that material. Statement of Contributions to Jointly Authored Works Contained in the Thesis Hyland-Wood, D., Carrington, D. and Kaplan, S. (2008). Toward a Software Maintenance Methodology using Semantic Web Techniques and Paradigmatic Documentation Modeling, IET Software, Special Issue on Software Evolvability, (to appear). – Hyland-Wood was responsible for 95% of conception and 100% of design, drafting and writing. Carrington and Kaplan provided discussion and review of the material. Hyland-Wood, D., Carrington, D. and Kaplan, S. (2006) Toward a Software Maintenance Methodology using Semantic Web Techniques, Proc. of Second International IEEE Workshop on Software Evolvability 2006. – Hyland-Wood was responsible for 95% of conception and 100% of design, drafting and writing. Carrington and Kaplan provided discussion and review of the material. i Statement of Contributions by Others to the Thesis as a Whole No contributions by others. Statement of Parts of the Thesis Submitted to Qualify for the Award of Another Degree None. Published Works by the Author Incorporated into the Thesis Hyland-Wood, D. (2006). RESTful Software Development and Maintenance, Proc. of the Open Source Developers Conference (OSDC) 2006. - Partially incorporated as paragraphs in Chapters V and VII. Additional Published Works by the Author Relevant to the Thesis but not Forming Part of it Hyland-Wood, D. (2007). Managing Open Source Software Projects in Belbaly, N., Benbya, H. and Meissonier, R. (Eds.), Successful OSS Project Design and Implementation: Requirements, Tools, Social Designs, Reward Structures and Coordination Methods, (to appear). Wood, D. (2005) Scaling the Kowari Metastore, in Dean, M., et al. (Eds.): WISE 2005 Workshops, LNCS 3807, pp. 193-198, 2005. Wood, D., Gearon, P., Adams, T. (2005). Kowari: A Platform for Semantic Web Storage and Analysis, Proc. of XTech 2005. Wood, D. (2004). The Tucana Knowledge Server version 2.1, Proc. of XML 2004, http://www.idealliance.org/proceedings/xml04/. Wood, D. (2004). RDF Metadata in XHTML, Proc. of XML 2004, http://www.idealliance.org/proceedings/xml04/. ii Hyland-Wood, D., Carrington, D. and Kaplan, S. (2006). Scale-Free Nature of Java Software Package, Class and Method Collaboration Graphs (Tech. Rep. No. TR-MS1286), University of Maryland College Park, MIND Laboratory. Acknowledgments Many, many thanks go to my wife Bernadette for her unflagging support over the years of my study. Although her own interest in software is serious, it ends prior to the depths plumbed in this work; yet she offered meaningful advice and encouraged me to continue in spite of obvious incentives to the contrary. She proved her worth continuously as my life partner, my frequent business partner and my best friend. Thanks are also due to my advisors, Associate Professor David Carrington and Professor Simon Kaplan, for their thoughts, guidance and encouragement. Professor James Hendler , now at Rensselaer Polytechnic Institute, provided encouragement, guidance and funding during my tenure at the University of Maryland Information and Network Dynamics (MIND) Laboratory Laboratory. I credit Jim for encouraging me to think on the scale of the World Wide Web. He was also responsible for arranging a U.S. National Science Foundation grant (NSF ITR 04-012) that funded a significant portion of this work. The MIND Laboratory was funded by Fujitsu Laboratory of America College Park, NTT Corporation, Lockheed Martin Corporation and Northrop Grumman Corporation. Other MIND Laboratory researchers who deserve specific thanks include Christian Halaschek-Wiener and Vladimir Kolovski. My long-time collaborators Mr. Paul Gearon of Fedora Commons, Mr. Andrae Muys of Netymon Pty Ltd and Mr. Brian Sletten of Zepheira LLC, deserve thanks for their kind suggestions during the last several years, especially for the improvement of the ontology of software engineering concepts. Brian implemented the new PURL server discussed in Chapter V. David Feeney of Zepheira LLC implemented the second Active PURL prototype as a NetKernel module and refined implementation details with me. Conversations with Dr. Eric Miller of M.I.T. and Zepheira LLC have been invaluable in shaping my thoughts on the deep history and wide applicability of metadata. Dr. Peter Rodgers and Tony Butterfield of 1060 Research Ltd deserve thanks for building 1060 NetKernel and making pre-release versions of it available for my iii prototyping. Open Source software used in this work included Java, Perl, CVS, Subversion, JRDF, the SWOOP ontology editor, the Pellet OWL-DL reasoner, the Protégé ontology editor with OWL and OWLDoc plug-ins, the Mulgara Semantic Store, the Sesame RDF store, the Redfoot RDF library, 1060 NetKernel and the Redland RDF Store. Abstract Software maintenance is, often by far, the largest portion of the software lifecycle in terms of both cost and time. Yet, in spite of thirty years of study of the mechanisms and attributes of maintenance activities, there exist a number of significant open problems in the field: Software still becomes unmaintainable with time. Software maintenance failures result in significant economic costs because unmaintainable systems generally require wholesale replacement. Maintenance failures occur primarily because software systems and information about them diverge quickly in time. This divergence is typically a consequence of the loss of coupling between software components and system metadata that eventually results in an inability to understand or safely modify a system. Accurate documentation of software systems, long the proposed solution for maintenance problems, is rarely achieved and even more rarely maintained. Inaccurate documentation may exacerbate maintenance costs when it misdirects the understanding of maintainers. This thesis describes an approach for increasing the maintainability of software systems via the application and maintenance of structured metadata at the source code and project description levels. The application of specific metadata approaches to software maintenance issues is suggested for the reduction of economic costs, the facilitation of defect reduction and the assistance of developers in finding code-level relationships. The vast majority of system metadata (such as that describing code structure, encoded relationships, metrics and tests) required for maintainability is shown to be capable of automatic generation from existing sources, thus reducing needs for human input and likelihood of inaccuracy. Suggestions are made for dealing with metadata relating to human intention, such as requirements, in a structured and consistent manner. The history of metadata is traced to illustrate the way metadata has been applied to virtual, physical and conceptual resources, including software. Best practice approaches for applying metadata to virtual resources are discussed and compared to the ways in which metadata have iv historically been applied to software. This historical analysis is used to explain and justify a specific methodological approach and place it in context. Theories describing the evolution of software systems are in their infancy. In the absence of a clear understanding of how and why software systems evolve, a means to manage change is desperately needed. A methodology is proposed for capturing, describing and using system metadata, coupling it with information regarding software components, relating it to an ontology of software engineering concepts and maintaining it over time. Unlike some previous attempts to address the loss of coupling between software systems and their metadata, the described methodology is based on standard data representations and may be applied to existing software systems. The methodology is supportive of distributed development teams and the use of third-party components by its grounding of terms and mechanisms in the World Wide Web. Scaling the methodology to the size of the
Load more

Recommended publications
  • Amber Billey Senylrc 4/1/2016
    AMBER BILLEY SENYLRC 4/1/2016 Photo by twm1340 - Creative Commons Attribution-ShareAlike License https://www.flickr.com/photos/89093669@N00 Created with Haiku Deck Today’s slides: http://bit.ly/SENYLRC_BF About me... ● Metadata Librarian ● 10 years of cataloging and digitization experience for cultural heritage institutions ● MLIS from Pratt in 2009 ● Zepheira BIBFRAME alumna ● Curious by nature [email protected] @justbilley Photo by GBokas - Creative Commons Attribution-NonCommercial-ShareAlike License https://www.flickr.com/photos/36724091@N07 Created with Haiku Deck http://digitalgallery.nypl.org/nypldigital/id?1153322 02743cam 22004094a 45000010008000000050017000080080041000250100017000660190014000830200031000970200028001280200 03800156020003500194024001600229035002400245035003900269035001700308040005300325050002200378 08200120040010000300041224500790044225000120052126000510053330000350058449000480061950400640 06675050675007315200735014066500030021416500014021717000023021858300049022089000014022579600 03302271948002902304700839020090428114549.0080822s2009 ctua b 001 0 eng a 2008037446 a236328594 a9781591585862 (alk. paper) a1591585864 (alk. paper) a9781591587002 (pbk. : alk. paper) a159158700X (pbk. : alk. paper) a99932583184 a(OCoLC) ocn236328585 a(OCoLC)236328585z(OCoLC)236328594 a(NNC)7008390 aDLCcDLCdBTCTAdBAKERdYDXCPdUKMdC#PdOrLoB-B00aZ666.5b.T39 200900a0252221 aTaylor, Arlene G., d1941-14aThe organization of information /cArlene G. Taylor and Daniel N. Joudrey. a3rd ed. aWestport, Conn. :bLibraries Unlimited,c2009. axxvi,
    [Show full text]
  • Документ – Книга – Семантический Веб: Вклад Старой Науки О Документации Milena Tsvetkova
    Документ – книга – семантический веб: вклад старой науки о документации Milena Tsvetkova To cite this version: Milena Tsvetkova. Документ – книга – семантический веб: вклад старой науки о документации. Scientific Enquiry in the Contemporary World: Theoretical basiсs and innovative approach, 2016,San Francisco, United States. pp.115-128, ⟨10.15350/L_26/7/02⟩. ⟨hal-01687965⟩ HAL Id: hal-01687965 https://hal.archives-ouvertes.fr/hal-01687965 Submitted on 31 Jan 2018 HAL is a multi-disciplinary open access archive L’archive ouverte pluridisciplinaire HAL, est des- for the deposit and dissemination of scientific re- tinée au dépôt et à la diffusion de documents scien- search documents, whether they are published or not. tifiques de niveau recherche, publiés ou non, émanant The documents may come from teaching and research des établissements d’enseignement et de recherche institutions in France or abroad, or from public or pri- français ou étrangers, des laboratoires publics ou vate research centers. privés. RESEARCH ARTICLES. SOCIOLOGICAL SCIENCES DOCUMENT – BOOK – SEMANTIC WEB: OLD SCIENCE DOCUMENTATION`S CONTRIBUTION M. Tsvetkova1 DOI: http://doi.org/10.15350/L_26/7/02 Abstract The key focus of the research is the contribution of the founder of the documentation science, Paul Otlet, to the evolution of communication technologies and media. Methods used: systematic-mediological approach to research in book studies, documentology, information and communication sciences, retrospective discourse analysis of documents, studies, monographs. The way in which Otlet presents arguments about the document “book” as the base technology of the universal documentation global network is reviewed chronologically. His critical thinking has been established: by expanding the definition of a “book”, he projects its future transformation in descending order – from The Universal Book of Knowledge (Le Livre universel de la Science) through the “thinking machine” (machine à penser), to its breakdown to Biblions, the smallest building blocks of written knowledge.
    [Show full text]
  • Knowledge Representation in Bicategories of Relations
    Knowledge Representation in Bicategories of Relations Evan Patterson Department of Statistics, Stanford University Abstract We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigate relational ologs both for their own sake and to gain insight into the relationship between the algebraic and logical approaches to knowledge representation. On a practical level, we show by example that relational ologs have a friendly and intuitive—yet fully precise—graphical syntax, derived from the string diagrams of monoidal categories. We explain several other useful features of relational ologs not possessed by most description logics, such as a type system and a rich, flexible notion of instance data. In a more theoretical vein, we draw on categorical logic to show how relational ologs can be translated to and from logical theories in a fragment of first-order logic. Although we make extensive use of categorical language, this paper is designed to be self-contained and has considerable expository content. The only prerequisites are knowledge of first-order logic and the rudiments of category theory. 1. Introduction arXiv:1706.00526v2 [cs.AI] 1 Nov 2017 The representation of human knowledge in computable form is among the oldest and most fundamental problems of artificial intelligence. Several recent trends are stimulating continued research in the field of knowledge representation (KR).
    [Show full text]
  • Category Theory and Cyber Physical Systems
    Category theory and Cyber physical systems Eswaran Subrahmanian (CMU/NIST) Spencer Breiner (NIST) July 22, 2017 CPS workshop Robert Bosch Center for Cyber Physical Systems IISC Bangalore, India Talk outline • Basic elements of CPS • CPS as composition of different systems • Category theory • A formalism for representing different formalisms • A formalism for composing system from from formalisms. • Ologs • A CT based knowledge representation scheme • Examples of database intergration • Cyber and Physical system and composition. • String diagram for Process composition • Basic elements • Antilock brakes - Top level • Antilock brakes – Expanding The modulator • Redesign for traction control + stability control • Incorporating semantics • Conclusion Cyber physical system: A definition Cyber Physical Systems Interconnected Systems & Control Internet of Things Sensing and Acting Physical Environment Things Person Network Physical World 3 Basic elements and composition of CPS Basic elements • Perceptual devices: Identification and Measurements • Actuating devices: activation results in action • Physical devices: transmission, amplification of power, • Logical devices: computational/logical • Humans devices: mental model Multiple Modeling formalisms: logic, state machines, differential equations, stochastic models, etc. Requires composition and compositionality to ensure desired behavior Category theory • Category Theory (CT) is a potential solution. • CT is the mathematical theory of abstract processes and composition • CT could be thought of as the conceptual operating system. Categories & Composition • A category is a universe of resources (objects) �, �, �, … and processes (arrows) �, �, ℎ, … • Every process has input and output resources, indicated �:�→�. • The main property of categorical processes is that they compose: Category theory: relationship to domains Category Theory as a universal Modeling Language (Spivak, 2015*) The Category Theory (CT) view of modeling – two postulates: 1.
    [Show full text]
  • Die Welt in 100 Jahren En
    "Everyone will have his own pocket telephone that will enable him to get in touch with anyone he wishes. People living in the Wireless Age will be able to go everywhere with their transceivers, which they will be able to affix wherever they like—to their hat, for instance…" Robert Sloss: The Wireless Century in “The World in 100 Years,” Berlin 1910 The World in 100 Years A Journey through the History of the Future June 16-September 19, 2010 Ars Electronica Center Linz (Linz, June 16, 2010) Our longing to know the future is timeless. Just like our burning desire to co-determine and change the course of events transpiring in this world. The exhibition “The World in 100 Years – A Journey through the History of the Future” pays tribute to some great thinkers and activists who were ahead of their times, men and women who have displayed creativity, courage and resourcefulness in their commitment to a vision of the future. We begin by presenting Albert Robida (FR) and Paul Otlet (BE), two prominent visionaries of the late 19 th and early 20 th centuries. Then we shift the spotlight to contemporary artists and scientists and their NEXT IDEAS. “The World in 100 Years” will run from June 16 to September 19, 2010 at the Ars Electronica Center Linz. “Conquer interplanetary space; free humankind from the earthly bonds that have kept aerial navigation within our own atmosphere; colonize the Moon and then communicate with the other planets, our sisters in this cosmic void … This will be humanity’s next quest, bequeathed to our descendents of the twenty-first century!” Albert Robida: “Le Vingtième Siècle,” Paris 1883 Albert Robida and Paul Otlet, or: The Future in Now Buildings that rotate to follow the sun, weather machines, artificial islands in the oceans, venturing into outer space, the universal library—amazingly, all of these up-to-the-minute ideas were elements of futuristic visions by Albert Robida (FR) and Paul Otlet (BE).
    [Show full text]
  • Forgotten Prophet of the Internet Philip Ball Ponders the Tale of a Librarian Who Dreamed of Networking Information
    BOOKS & ARTS COMMENT INFORMATION TECHNOLOGY Forgotten prophet of the Internet Philip Ball ponders the tale of a librarian who dreamed of networking information. he Internet is considered establish the league in Geneva, in neu- a key achievement of the tral Switzerland, rather than Brussels. computer age. But as for- But their objective was much more Tmer New York Times staffer Alex grandiose, utopian and strange. Wright shows in the meticulously Progressive thinkers such as researched Cataloging the World, H. G. Wells (whom Otlet read) desired BELGIUM MUNDANEUM, the concept predates digital tech- world government in the interwar nology. In the late nineteenth cen- period, but Otlet’s plans often seemed tury, Belgian librarian Paul Otlet detached from mundane realities. conceived schemes to collect, store, They veered into mystical notions of automatically retrieve and remotely transcendence of the human spirit, distribute all human knowledge. influenced by theosophy, and Otlet His ideas have clear analogies with seems to have imagined that learn- information archiving and net- ing could be transmitted not only by working on the web. Wright makes careful study of documents but by a a persuasive case that Otlet — now symbolic visual language in posters largely forgotten —deserves to and displays. In the late 1920s, he and be ranked among the conceptual architect Le Corbusier devised a plan inventors of the Internet. to realize the Mundaneum as a build- Wright locates Otlet’s work in a ing complex full of sacred symbolism, broader narrative about collation as much temple as library. Wright and cataloguing of information. overlooks the real heritage of these Compendia of knowledge date back ideas: Otlet’s predecessor here was at least to Pliny the Elder’s Natural Paul Otlet’s Mondothèque workstation.
    [Show full text]
  • Scientific Print and Its Problems During the Late Nineteenth Century
    Hist. Sci., xlviii (2010) SERIALITY AND THE SEARCH FOR ORDER: SCIENTIFIC PRINT AND ITS PROBLEMS DURING THE LATE NINETEENTH CENTURY Alex Csiszar Harvard University “I have been hunting every where in vain for Godron”, reported Joseph Dalton Hooker to Charles Darwin in March 1855, “I shall not rest till I have ferretted it out”. Hooker was referring not to a person, nor to a plant specimen that might have been in the Herbarium at Kew Gardens, but to a mislaid text.1 Darwin had sought Hooker’s guidance after stumbling on a footnote in a collection of botanical memoirs; it referred to a work called “De l’espèce et des races” by someone named Godron. Such a title alone might have been enough to attract his attention, but the footnote also implied that this work reported on several instances of variations in pear seeds derived from a single parent. Darwin had become intrigued; having worked out a great deal of his theory of natural selection by 1855, he was keen not only to gather more evidence, but also to gauge the progress of scientific opinion on the variation of species in general, especially as he looked forward to begin drafting his “species book”. Darwin jotted down the title in his “Books to be Read” notebook. But before he could read it, Darwin would need to findit. 2 The techniques and tools scientists have used to seek out and sort scientific informa- tion in print comprise a significant, though largely unexplored, domain of practice for historians of modern science. The methods used by Darwin and his contemporaries for locating relevant print sources were — as they would continue to be — varied, complex, and often serendipitous; they might sometimes involve consulting indexes and catalogues, but they also included trawling the contents of serials and titles of monographs on the shelves of personal and institutional libraries, following the trail of footnotes and lists of references, and (perhaps most importantly) corresponding with colleagues, booksellers, and friends for guidance, new leads, and off-the-cuff reviews.
    [Show full text]
  • 'Documentation': Contribution of Paul Otlet and He
    Journal of the University Librarians Association of Sri Lanka, Vol.17, Issue 2, July 2013 Evolution of the Bibliographic Control Systems and Genesis of the Concept ‘Documentation’: Contribution of Paul Otlet and Henry la Fontaine in 19th C. Seneviratne, Wathmanel1 Abstract The paper covers a review of evidence existing for documentation systems followed in the pre Christian literary history and during the 19th C. A special attention was given to the evidence of a most comprehensive cataloguing system followed in the Alexandrian library ‘the pinakes’ which had a great impact to cataloguing, indexing and documentation tradition thereafter. Even though the concept ‘documentation’ was not introduced at that time during the 1st century to date, many attempts were made to capture the knowledge by scientists, priests, publishers and librarians especially after the printing technology was introduced in 16th C. A special attention was paid to the most versatile and systematic documentation system designed and carried out in 19thC by two visionaries, Paul Otlet and Henry la Fontaine who were creators of the concept ‘documentation’. Evidence for this effort still exists in a card based archive in Belgium and its vision and design is now identified by computer scientists as the base structure of the World Wide Web and the base architecture of modern computer networks and search engines. The article provides a brief review of the structure and history of the bibliographic repertory of 18 million index cards. Keywords: Documentation systems, Documentation history, Indexing systems, Mundaneum, Paul Otlet, Henry la Fontaine Introduction Capturing knowledge had been an issue for the mankind throughout the history and the same question emerge in the modern world in different angles of knowledge explosion especially with emerging technologies.
    [Show full text]
  • The Dark Side of Social Media Alarm Bells, Analysis and the Way Out
    The Dark Side of Social Media Alarm bells, analysis and the way out Sander Duivestein & Jaap Bloem Vision | Inspiration | Navigation | Trends [email protected] II Contents 1 The Dark Side of Social Media: r.lassche01 > flickr.com Image: a reality becoming more topical by the day 1 Contents PART I ALARM BELLS 7 2 2012, a bumper year for social media 7 3 Two kinds of Social Media Deficits 9 4 Addiction in the Attention Deficit Economy 10 PART II ANALYSIS 12 5 Ten jet-black consequences for Homo Digitalis Mobilis 12 6 Social media a danger to cyber security 20 7 The macro-economic Social Media Deficit 21 8 How did it get this far? 22 PART III THE WAY OUT 25 9 Dumbing-down anxiety 25 10 Basic prescription: social is the new capital 27 11 The Age of Context is coming 28 12 SlowTech should really be the norm 30 13 The Slow Web movement 31 14 Responsible for our own behavior 33 References 35 Justification iv Thanks iv This work is licensed under the Creative Commons Attribution Non Commercial Share Alike 3.0 Unported (cc by-nc-sa 3.0) license. To view a copy of this license, visit http://creativecommons.org/licenses/ by-nc-sa/3.0/legalcode or send a letter to Creative Commons, 543 Howard Street, 5th floor, San Francisco, California, 94105, usa. The authors, editors and publisher have taken care in the preparation of this book, but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions.
    [Show full text]
  • 20170910-Full
    ELECTROTECHNICA & ELECTRONICA E+E Vol. 52. No 9-10/2017 Monthly scientific and technical journal Published by: The Union of Electronics, Electrical Engineering and Telecommunications /CEEC/, BULGARIA Editor-in-chief: C O N T E N T S Prof. Ivan Yatchev, Bulgaria TELECOMMUNICATIONS SCIENCE Deputy Editor-in-chief: Assoc. Prof. Seferin Mirtchev, Bulgaria Zdravka Tchobanova Editorial Board: Cooperative spectrum sensing - overview 1 Prof. Anatoliy Aleksandrov, Bulgaria Acad. Prof. Chavdar Rumenin, Bulgaria Stanimir Sadinov Prof. Christian Magele, Austria Simulation study and analysis in transmitting Prof. Georgi Stoyanov, Bulgaria RZ and NRZ coded signals into 10 Gbps optical line Assoc. Prof. Evdokia Sotirova, Bulgaria with optical amplifying sections 9 Prof. Ewen Ritchie, Denmark Prof. Hannes Toepfer, Germany ELECTRONICS Dr. Hartmut Brauer, Germany Prof. Marin Hristov, Bulgaria Kiril Ivanov Prof. Maurizio Repetto, Italy Plasma sterilization – special features Prof. Mihail Antchev, Bulgaria and new approaches in medical applications 15 Prof. Nikolay Mihailov, Bulgaria Prof. Radi Romansky, Bulgaria INNOVATIVE TECHNOLOGIES Prof. Rosen Vasilev, Bulgaria Prof. Takeshi Tanaka, Japan Elena Shoikova, Anatoly Peshev Prof. Ventsislav Valchev, Bulgaria Best practices for designing user experience Dr. Vladimir Shelyagin, Ukraine for Internet of Things and virtual reality 22 Acad. Prof. Yuriy I. Yakymenko, Ukraine Assoc. Prof. Zahari Zarkov, Bulgaria APPLICATION IN PRACTICE Advisory Board: Prof. Dimitar Rachev, Bulgaria Milan Stankov Prof. Emil Sokolov, Bulgaria From electrica to invariant automatic Corr. Member Prof. Georgi Mladenov, Bulgaria (Or how to use the knowledge about Theory of electricity Prof. Ivan Dotsinski, Bulgaria for enter into Theory of invariant automatic control). Assoc. Prof. Ivan Vassilev, Bulgaria Part two: Electromechanical dualism. Assoc. Prof. Ivan Shishkov, Bulgaria Universality of energetic equations.
    [Show full text]
  • CURRICULUM VITAE Nom : DELWIT Prénom : PASCAL Date De Naissance : 13/8/1961 À Watermael-Boitsfort Adresse Professionnelle : Fa
    1 CURRICULUM VITAE Nom : DELWIT Prénom : PASCAL Date de naissance : 13/8/1961 à Watermael-Boitsfort Adresse Professionnelle : Faculté de Philosophie et Sciences sociales / Institut d’études européennes Avenue Roosevelt, 50 - CP 124 1050 Bruxelles Bureau S10.210 – Avenue Jeanne, 44 – 1050 Bruxelles Téléphone : bureau : 02-650.40.51 E-mail : [email protected] Etudes Primaires : Ecole de la ville de Bruxelles n°9 Secondaires : Ecole Normale Charles Buls Supérieures universitaires : Université Libre de Bruxelles Sciences politiques- Relations Internationales 1ère candidature : G.D. 2ème candidature : G.D. 1ère Licence : G.D. 2ème Licence : G.D. Thèse de doctorat Docteur en sciences politiques de l’Université libre de Bruxelles avec la plus grande distinction. Evolution comparée des positions et des attitudes des partis socialistes belge, français et du parti travailliste face à la construction européenne. 1950-1993 , 850 pages, défendue le 26 janvier 1994 (promoteur : Mario Telo). * * * 2 I. Carrière universitaire — Professeur ordinaire au 1-10-2002. — Chargé de cours temps plein au 1-1-2000. — Chef de travaux à l’ULB au 1-01-1999. — Premier assistant à l’ULB au 1-10-1994. — Assistant chargé de recherche à l’Institut d’études européennes de l’ULB. Président : Jean-Victor Louis 1-10-1988-1-10-1992. Président : André Sapir 1-10-1992-1-10-1994. — Assistant intérimaire au Centre d’étude de la planification et du développement (CEPED) de l’Institut de sociologie de l’ULB (Directeur : Jacques Nagels) 1-04-87-30-05-1988. — Assistant volontaire d’ Exercices de doctrines politiques contemporaines II, 1993-1997. Titulaire : Bérengère Marques-Pereira.
    [Show full text]
  • Knowledge Representation in Bicategories of Relations
    Knowledge Representation in Bicategories of Relations Evan Patterson Department of Statistics, Stanford University Abstract We introduce the relational ontology log, or relational olog, a knowledge repre- sentation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant for- malism for knowledge representation today. In this paper, we investigate relational ologs both for their own sake and to gain insight into the relationship between the algebraic and logical approaches to knowledge representation. On a practical level, we show by example that relational ologs have a friendly and intuitive—yet fully precise—graphical syntax, derived from the string diagrams of monoidal categories. We explain several other useful features of relational ologs not possessed by most description logics, such as a type system and a rich, flexible notion of instance data. In a more theoretical vein, we draw on categorical logic to show how relational ologs can be translated to and from logical theories in a fragment of first-order logic. Although we make extensive use of categorical language, this paper is designed to be self-contained and has considerable expository content. The only prerequisites are knowledge of first-order logic and the rudiments of category theory. 1. Introduction The representation of human knowledge in computable form is among the oldest and most fundamental problems of artificial intelligence. Several recent trends are stimulating continued research in the field of knowledge representation (KR). The birth of the Semantic Web [BHL01] in the early 2000s has led to new technical standards and motivated new machine learning techniques to automatically extract knowledge from unstructured text [Nic+16].
    [Show full text]