Semantic Representation and Enforcement of Electronic Contracts on Audiovisual Content

Total Page:16

File Type:pdf, Size:1020Kb

Semantic Representation and Enforcement of Electronic Contracts on Audiovisual Content Semantic Representation and Enforcement of Electronic Contracts on Audiovisual Content by V´ıctor Rodr´ıguez Doncel Submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy Universitat Polit`ecnica de Catalunya Department d’Arquitectura de Computadors Advisor: Dr. Jaime Delgado Merc´e Barcelona, February 2010 ii Abstract This Thesis presents a computer representation language for agreements on multimedia content and the mechanisms to exe- cute the agreements in the framework of a content distribution system. The presented model is able to represent complex clause terms and can be interpreted by logic reasoners. This work is assumed to be in the wider context of a multimedia distribution system, and it has been integrated with other elements defined in the international standard ISO/IEC 21000. This Thesis presents a computer representation language for agreements on multimedia content and the mechanisms to execute them in the frame- work of a content distribution system. Content distribution systems trade audiovisual material in exchange of economic compensation in a framework of secure transactions between iden- tified users, what is generally known as Digital Rights Management (DRM) systems. Some DRM platforms have been deployed by private initiatives fol- lowing closed specifications not intended to interoperate with other systems and not conforming to the standards. Some other initiatives, resulted from the cooperation of corporations and universities in consortia have chosen open design solutions and even open implementations to deploy the content exchange systems. One of the most notable frameworks for the creation, protection, distribution and rendering of multimedia content has been that of MPEG (Moving Pictures Experts Group), whose specification is open, has partial code availability and it has been sanctioned as a collection of International Standards promulgated by the International Organization for Standardization (ISO) with worldwide effect. Nevertheless, neither the MPEG framework -which is the reference plat- form taken for this work- nor the other existing DRM systems handle consis- tently the complete intellectual property value chain and they tend to focus almost exclusively on distributor to consumer transactions. Consequently, iii iv the DRM platforms express the transactions agreements with language el- ements enough to represent well end user licenses but only these. These digital licenses are written in the so called Rights Expressions Languages (REL), well defined XML documents, from which the MPEG-21 REL is a paradigm and the reference of this Thesis. REL licenses are issued by the right owners of the intellectual property protected material to authorise the execution of a certain action by a certain user, who in exchange has pos- sibly paid an amount of money called fee. These authorised actions result almost always in the rendering operation, which is the most common task for an end user or consumer. However, some intermediate operations are needed to achieve the final product, operations which start with the work conception -from an intellectual property point of view- and continue pos- sibly with adaptations, performances, productions and editions before the final product is broadcasted or distributed. These operations are executed by different actors exchanging also content in economical transactions regu- lated in narrative contracts and which so far have been somewhat neglected by the existing RELs. It is a position of this work that the MPEG-21 REL can be used to repre- sent and enforce the agreements of these transactions if the language is prop- erly extended or even substituted with a new semantic representation. For this regard, it is fundamental the analysis of the intellectual property value chain and its most precise description. The intellectual property value chain is described with the Media Value Chain Ontology proposed in the Thesis, a representation in OWL (Ontology Web Language) of the workflow of mul- timedia content and the successive transfers of intellectual property. Based on the international consensus on intellectual property, the Media Value Chain Ontology describes the different kinds of intellectual property objects (original works, manifestations, instances etc.), the different acknowledged roles intervening in the process (creator, distributor etc.), and the different actions relevant to the intellectual property (both a public communication and a marketing campaign may be relevant in the commercial process but only the first regarding the intellectual property). It also covers the precise relations between these entities, and it provides as well the mechanisms to represent authorisations and bans. The formalization of the model under the terms of Description Logics allows performing reasoning operations and the implementation of advanced authorisation mechanisms of the licenses expressed with the ontology. This Thesis proposes the conversion of narrative contracts (contracts written in plain English) in the audiovisual market to the format of digital licenses. This conversion, on despite of the unavoidable loose of informa- v tion, may be of interests if as a result of it, the transaction can take place in the digital environment and governed by the derived digital license. This is achieved by means of a rich knowledge representation schema, where the obligations and permissions exchanged in a contract are dealt as expressions of the deontic logic, and they can determine the behaviour of the distribu- tion platform. A semantic authoriser is proposed which is able to execute rules, evaluate the conditions and the context and give the proper response. To minimize the loose of information, the non enforceable contract clauses are structured into a standard electronic format called eContracts. This eContracts format, neutral regarding the contract theme, is enriched with the elements of the Media Value Chain Ontology to provide an adequate representation. The representation of the value chain proposed here, as well as the con- version from contracts to licenses, has been a part of different projects and has worked tightly integrated with other elements of wider Digital Rights Management systems. In practice, and in order to easily access to the on- tology features, an API (Application Programming Interface) in Java is also proposed. On top of it, several applications have been developed. The most paradigmatic acts as a server, and being located in a remote server it is able to receive registration requests and resolve queries intelligently. Users request their registration in the ontology server, which automati- cally maps their unique identifier to an instance of the ontology. But users also request the registration of their intellectual property objects, and the permissions they declare, which are also stored in the ontology as new class instances. With all this information and the basis knowledge in the model, the ontology server is able to resolve queries. These queries serve the different elements in the DRM architecture to validate their intellectual property operations. For example, the ontology server is able to answer which legal nature has a given resource, who is the rights owner of the resource, which is its provenance (the provenance being the intellectual property object from which it derives), which actions are allowed, etc. The representation of the value chain presented in this Thesis is a com- plete work but its applications can still be further developed. The authori- sation mechanisms can be put in practice with more complex rules, taking advantage of the interoperability of the Semantic Web data. vi Contents 1 Introduction 1 1.1 Aimsandobjectives ....................... 1 1.2 Methodology ........................... 3 1.3 Thesisoutline........................... 4 I State of the Art and Legal Framework 5 2 Legal Framework 7 2.0.1 International treaties on Intellectual Property . 7 2.0.2 Legal Framework on Intellectual Property . 9 2.0.3 Features of the Intellectual Property Law . 10 3 Knowledge representation towards reasoning 13 3.1 Logicsystems........................... 15 3.1.1 PropositionalLogic. 15 3.1.2 FirstOrderPredicateLogic . 17 3.1.3 ModalLogic ....................... 21 3.2 DescriptionLogics . 22 3.2.1 DescriptionLogicsemantics . 23 3.3 TheSemanticWeb ........................ 26 3.3.1 TheSemanticWebvision . 26 3.3.2 The Semantic Web technologies . 28 3.4 PracticaluseofOntologies. 44 4 Contract representation 47 4.1 Digital Representation of Contracts . 47 4.1.1 Objectives of a contract representation . 47 4.1.2 A sample audiovisual contract . 49 4.1.3 Overview of digital representations of contracts . 52 vii viii CONTENTS 4.1.4 Contracts Expression Language . 53 4.1.5 OASISeContracts . 55 4.2 Value Chain Representations . 56 4.2.1 Functional Requirements for Bibliographic Records . 57 4.2.2 Conceptual Reference Model and others . 61 5 Rights Expression Languages in DRM systems 63 5.1 DRMSystems........................... 63 5.1.1 OverviewofsomeDRMsystems . 64 5.1.2 Common elements in DRM systems . 71 5.2 MPEG-21 as a Framework for DRM Systems . 73 5.2.1 OverviewofMPEG-21 . 73 5.2.2 MXM as a MPEG-21 implementation . 76 5.3 Right Expression Languages . 81 5.3.1 MPEG21REL ..................... 81 5.3.2 ODRL........................... 86 5.3.3 OtherRELlanguages . 87 5.3.4 SemanticRELs ...................... 94 II Contribution 97 6 The Media Value Chain Ontology 99 6.1 Industrial Value Chain and Intellectual Value Chain
Recommended publications
  • Thinkjs 2.0 Documentation
    ThinkJS 2.0 Documentation ᳪفள᭛ Օᕨ ጱ Node.js MVC ໛ຝֵ҅አ ES7 Ӿ async/await ҅౲ᘏ ES6ݎෛ୏قThinkJS ฎӞֵྃአ ES6/7 ᇙ௔ තԧࢵٖक़ռग़໛ຝጱᦡᦇቘஷ޾௏ޕӾጱ */yield ᇙ௔஁ବᥴ٬ԧ Node.js Ӿ୑ྍ્ॺጱᳯ̶᷌ݶ෸ ṛප̶̵ܔᓌےNode.js ᶱፓๅ ݎమ҅ᦏ୏ පሲ҅ฎ᩽۠ಅࣁ̶ଚӬෛᇇጱ Node.js ੒ ES6 ᇙ௔Ԟํԧݎᶱፓݢզय़य़൉ṛ୏ݎአ ES6/7 ᇙ௔๶୏ֵ Զᇙ௔ᬮဌํඪ೮҅Ԟݢզ׵ۗ Babel ᖫᦲ๶ඪ೮̶ํֵܨ᫾অጱඪ೮҅ ᇙ௔ ᶱፓݎአ ES6/7 ᇙ௔๶୏ֵ ᇇ๜ӧඪ೮̶੦ٌฎֵڹ׵ۗ Babel ᖫᦲ҅ݢզࣁᶱፓӾय़ᙦֵአ ES6/7 ಅํጱᇙ௔҅෫ᵱ೅ஞߺԶᇙ௔୮ አ async/await ౲ᘏ */yield ๶ᥴ٬୑ྍࢧ᧣ጱᳯ̶᷌ JavaScript //user controller, home/controller/user.js export default class extends think.controller.base { //login action async loginAction(self){ //ইຎฎget᧗࿢҅ፗളดᐏጭ୯ᶭᶎ if(this.isGet()){ return this.display(); } ᬯ᯾ݢզ᭗ᬦpostොဩ឴ݐಅํጱහഝ҅හഝ૪ᕪࣁlogic᯾؉ԧ໊ḵ// let data = this.post(); let md5 = think.md5('think_' + data.pwd); ᯈහഝପӾ੒ԭጱ๵ፓ܃ݸጱੂᎱ݄ੂےአಁݷ޾// let result = await this.model('user').where({name: data.name, pwd: md5}).find(); ձ֜හഝ҅ᤒᐏአಁݷ౲ᘏੂᎱᲙ᧏کᯈ܃ইຎ๚// if(think.isEmpty(result)){ return this.fail('login fail'); } sessionفٟ௳מݸ҅ਖ਼አಁ௳מአಁک឴ݐ// await this.session('userInfo', result); return this.success(); } } ӤᶎጱդᎱ౯ժֵአԧ ES6 ᯾ጱ class , export , let զ݊ ES7 ᯾ጱ async ޾ await ᒵᇙ௔҅ Session ᮷ฎ୑ྍ඙֢҅֕׵ۗ async/await ҅դᎱ᮷ฎݶྍԡٟጱ̶๋ݸֵ فᡱᆐັᧃහഝପ޾ٟ አ Babel ᬰᤈᖫᦲ҅੪ݢզᑞਧᬩᤈࣁ Node.js ጱሾहӾԧ̶ ඪ೮ग़ᐿᶱፓᕮ຅޾ग़ᐿᶱፓሾह ̶ݎཛྷࣘཛྷୗᒵग़ᐿᶱፓᕮ຅҅ݢզჿ᪃ݱᐿᶱፓ॔๥ଶጱ୏ړཛྷࣘཛྷୗ̵ฦ᭗ཛྷୗ̵ܔᶱፓඪ೮ ἕᦊඪ೮ development ҅ testing ޾ prodution 3 ᐿᶱፓሾह҅ݢզࣁӧݶጱᶱፓሾहӥᬰᤈӧݶ ጱᯈᗝ҅ჿ᪃ࣁӧݶሾहӥጱᯈᗝᵱ࿢҅ݶ෸ᬮݢզचԭᶱፓᵱᥝᬰᤈಘ઀̶ ඪ೮ӿ੄ጱහഝପ ThinkJS ඪ೮ mysql ҅ mongodb ҅ sqlite ᒵଉᥠጱහഝପ҅ଚӬ੗ᤰԧஉग़඙֢හഝପጱളݗ҅෫ᵱ ᚆ̶ۑᘶཛྷࣳᒵṛᕆى̵ۓᄋ၏̶ݶ෸ඪ೮Ԫقᒵਞفಋۖ೪ള SQL ᧍ݙ҅ᬮݢզᛔۖᴠྊ SQL ဳ դᎱᛔۖๅෛ Ԟӧአ׵ۗᒫӣ҅ۓNode.js ๐ ސኞප҅ӧአ᯿ܨදݸᒈץ෈կ҅ګThinkJS ٖᗝԧӞॺդᎱᛔۖๅෛጱ๢ ොཛྷ̶ࣘ ୌ REST ളݗڠᛔۖ ইຎమࣁ̶ݎݢਠ౮ REST API ጱ୏ܨୌ REST
    [Show full text]
  • Compiler Error Messages Considered Unhelpful: the Landscape of Text-Based Programming Error Message Research
    Working Group Report ITiCSE-WGR ’19, July 15–17, 2019, Aberdeen, Scotland Uk Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research Brett A. Becker∗ Paul Denny∗ Raymond Pettit∗ University College Dublin University of Auckland University of Virginia Dublin, Ireland Auckland, New Zealand Charlottesville, Virginia, USA [email protected] [email protected] [email protected] Durell Bouchard Dennis J. Bouvier Brian Harrington Roanoke College Southern Illinois University Edwardsville University of Toronto Scarborough Roanoke, Virgina, USA Edwardsville, Illinois, USA Scarborough, Ontario, Canada [email protected] [email protected] [email protected] Amir Kamil Amey Karkare Chris McDonald University of Michigan Indian Institute of Technology Kanpur University of Western Australia Ann Arbor, Michigan, USA Kanpur, India Perth, Australia [email protected] [email protected] [email protected] Peter-Michael Osera Janice L. Pearce James Prather Grinnell College Berea College Abilene Christian University Grinnell, Iowa, USA Berea, Kentucky, USA Abilene, Texas, USA [email protected] [email protected] [email protected] ABSTRACT of evidence supporting each one (historical, anecdotal, and empiri- Diagnostic messages generated by compilers and interpreters such cal). This work can serve as a starting point for those who wish to as syntax error messages have been researched for over half of a conduct research on compiler error messages, runtime errors, and century. Unfortunately, these messages which include error, warn- warnings. We also make the bibtex file of our 300+ reference corpus ing, and run-time messages, present substantial difficulty and could publicly available.
    [Show full text]
  • Mapping Topic Maps to Common Logic
    MAPPING TOPIC MAPS TO COMMON LOGIC Tamas´ DEMIAN´ Advisor: Andras´ PATARICZA I. Introduction This work is a case study for the mapping of a particular formal language (Topic Map[1] (TM)) to Common Logic[2] (CL). CL was intended to be a uniform platform ensuring a seamless syntactic and semantic integration of knowledge represented in different formal languages. CL is based on first-order logic (FOL) with a precise model-theoretic semantic. The exact target language is Common Logic Interchange Format (CLIF), the most common dialect of CL. Both CL and TM are ISO standards and their metamodels are included in the Object Definition Metamodel[3] (ODM). ODM was intended to serve as foundation of Model Driven Architecture (MDA) offering formal basis for representation, management, interoperability, and semantics. The paper aims at the evaluation of the use of CL as a fusion platform on the example of TM. II. The Topic Maps TM is a technology for modelling knowledge and connecting this structured knowledge to relevant information sources. A central operation in TMs is merging, aiming at the elimination of redundant TM constructs. TopicMapConstruct is the top-level abstract class in the TM metamodel (Fig. 1). The later detailed ReifiableConstruct, TypeAble and ScopeAble classes are also abstract. The remaining classes are pairwise disjoint. Figure 1: The class hierarchy and the relation and attribute names of the TM metamodel. TopicMap is a set of topics and associations. Topic is a symbol used within a TM to represent exactly one subject, in order to allow statements to be made about that subject.
    [Show full text]
  • Multimedia Systems DCAP303
    Multimedia Systems DCAP303 MULTIMEDIA SYSTEMS Copyright © 2013 Rajneesh Agrawal All rights reserved Produced & Printed by EXCEL BOOKS PRIVATE LIMITED A-45, Naraina, Phase-I, New Delhi-110028 for Lovely Professional University Phagwara CONTENTS Unit 1: Multimedia 1 Unit 2: Text 15 Unit 3: Sound 38 Unit 4: Image 60 Unit 5: Video 102 Unit 6: Hardware 130 Unit 7: Multimedia Software Tools 165 Unit 8: Fundamental of Animations 178 Unit 9: Working with Animation 197 Unit 10: 3D Modelling and Animation Tools 213 Unit 11: Compression 233 Unit 12: Image Format 247 Unit 13: Multimedia Tools for WWW 266 Unit 14: Designing for World Wide Web 279 SYLLABUS Multimedia Systems Objectives: To impart the skills needed to develop multimedia applications. Students will learn: z how to combine different media on a web application, z various audio and video formats, z multimedia software tools that helps in developing multimedia application. Sr. No. Topics 1. Multimedia: Meaning and its usage, Stages of a Multimedia Project & Multimedia Skills required in a team 2. Text: Fonts & Faces, Using Text in Multimedia, Font Editing & Design Tools, Hypermedia & Hypertext. 3. Sound: Multimedia System Sounds, Digital Audio, MIDI Audio, Audio File Formats, MIDI vs Digital Audio, Audio CD Playback. Audio Recording. Voice Recognition & Response. 4. Images: Still Images – Bitmaps, Vector Drawing, 3D Drawing & rendering, Natural Light & Colors, Computerized Colors, Color Palletes, Image File Formats, Macintosh & Windows Formats, Cross – Platform format. 5. Animation: Principle of Animations. Animation Techniques, Animation File Formats. 6. Video: How Video Works, Broadcast Video Standards: NTSC, PAL, SECAM, ATSC DTV, Analog Video, Digital Video, Digital Video Standards – ATSC, DVB, ISDB, Video recording & Shooting Videos, Video Editing, Optimizing Video files for CD-ROM, Digital display standards.
    [Show full text]
  • Towards the Second Edition of ISO 24707 Common Logic
    Towards the Second Edition of ISO 24707 Common Logic Michael Gr¨uninger(with Tara Athan and Fabian Neuhaus) Miniseries on Ontologies, Rules, and Logic Programming for Reasoning and Applications January 9, 2014 Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 1 / 20 What Is Common Logic? Common Logic (published as \ISO/IEC 24707:2007 | Information technology Common Logic : a framework for a family of logic-based languages") is a language based on first-order logic, but extending it in several ways that ease the formulation of complex ontologies that are definable in first-order logic. Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 2 / 20 Semantics An interpretation I consists of a set URI , the universe of reference a set UDI , the universe of discourse, such that I UDI 6= ;; I UDI ⊆ URI ; a mapping intI : V ! URI ; ∗ a mapping relI from URI to subsets of UDI . Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 3 / 20 How Is Common Logic Being Used? Open Ontology Repositories COLORE (Common Logic Ontology Repository) colore.oor.net stl.mie.utoronto.ca/colore/ontologies.html OntoHub www.ontohub.org https://github.com/ontohub/ontohub Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014 4 / 20 How Is Common Logic Being Used? Ontology-based Standards Process Specification Language (ISO 18629) Date-Time Vocabulary (OMG) Foundational UML (OMG) Semantic Web Services Framework (W3C) OntoIOp (ISO WD 17347) Gr¨uninger ( Ontolog Forum) Common Logic (ISO 24707) January 9, 2014
    [Show full text]
  • Developing a Voice-Controlled Home-Assisting System for KTH Live-In Labs
    DEGREE PROJECT IN ELECTRICAL ENGINEERING, SECOND CYCLE, 60 CREDITS STOCKHOLM, SWEDEN 2018 Developing a voice-controlled home-assisting system for KTH Live-in Labs SHREYANS MALOO KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE Contents Acknowledgments 4 Abstract 5 Sammanfattning 6 List of Figures 9 List of Tables 10 1 Introduction 11 1.1 Outline . 11 1.2 Problem Statement . 13 2 Methodology 14 3 Background 15 3.1 Speech to Text Services . 15 3.2 Communication Protocols . 20 3.3 Ethics and Society . 23 4 Design 24 4.1 Basic Model . 24 4.2 Map of Alternatives . 26 4.2.1 Voice Command . 26 4.2.2 Speech to Text (STT) Service . 27 4.2.3 Logic Engine . 27 4.2.4 Communication Protocol . 27 4.2.5 Final Output . 28 2 CONTENTS CONTENTS 4.3 Failure Factors . 29 4.3.1 Speech to Text . 29 4.3.2 Text to Keywords . 31 4.3.3 Keyword to action . 32 5 Implementation 34 5.1 Raspberry Pi . 34 5.1.1 What is Raspberry Pi? . 34 5.1.2 Setting up the Pi . 35 5.2 IBM Bluemix . 44 5.2.1 Getting started with Bluemix . 44 5.2.2 Linking our Pi to our device in Bluemix . 48 5.3 Node-RED . 49 5.3.1 Setting up Node-RED on our Pi . 49 5.4 Prototype 1 . 51 5.5 Prototype 2 . 65 5.6 Prototype 3 . 79 5.6.1 Conversation service . 80 5.6.2 Node-RED . 91 6 Results and Discussion 95 7 Conclusion and Future Work 99 3 Acknowledgments I would like to reserve this space to thank my supervisor Elena Malakhatka for her endless support and dedication and for the brainstorming sessions that offered me guidance throughout all the stages of the project.
    [Show full text]
  • Fundamentals of C Programming
    Index Fundamentals of C Programming .............................................................................................. 3 Discrete Mathematics ............................................................................................................... 3 Fundamentals of Data Structures .............................................................................................. 5 Fundamentals of Logic and Computer Design ........................................................................... 7 Laboratory for Fundamentals of Logic and Computer Design ................................................ 10 Object-Oriented Programming (C++) ...................................................................................... 12 Database Systems .................................................................................................................... 14 Computer Organization ........................................................................................................... 14 Laboratory for Computer Organization ................................................................................... 16 Java Programming ................................................................................................................... 18 Principles of Database System ................................................................................................ 20 Advanced Data Structures and Algorithm Analysis ................................................................. 22 E-commerce Technologies .....................................................................................................
    [Show full text]
  • Library Media – Early Childhood Through Young Adulthood
    National Board Certification Support Library Media Early Childhood Through Young Adulthood Table of Contents Guide to National Board Certification General Portfolio Instructions ePortfolio Resources Content Area Standards Component I Component II Component III Component IIII Forms Additional Resources Guide to National Board Certification Guide to National Board Certification Version 3.1 Register online at www.nbpts.org/national-board-certification ® Prepared by Pearson for submission under contract with the National Board for Professional Teaching Standards © 2020 National Board for Professional Teaching Standards | All rights reserved. THIS PAGE INTENTIONALLY LEFT BLANK The fees and other terms and conditions contained in this Guide are subject to change. Please visit the National Board’s website to locate any changes or updates to applicable terms and conditions. Table of Contents Introduction .................................................................................................. 1 What is the National Board ....................................................................................................... 1 Certification – An Overview ........................................................................ 2 The Certification Process ........................................................................... 3 The Components ...................................................................................................................... 3 How to Register and Select Components ................................................
    [Show full text]
  • Smart Home Automation with Linux Smart
    CYAN YELLOW MAGENTA BLACK PANTONE 123 C BOOKS FOR PROFESSIONALS BY PROFESSIONALS® THE EXPERT’S VOICE® IN LINUX Companion eBook Available Smart Home Automation with Linux Smart Dear Reader, With this book you will turn your house into a smart and automated home. You will learn how to put together all the hardware and software needed for Automation Home home automation, to control appliances such as your teakettle, CCTV, light switches, and TV. You’ll be taught about the devices you can build, adapt, or Steven Goodwin, Author of hack yourself from existing technology to accomplish these goals. Cross-Platform Game In Smart Home Automation with Linux, you’ll discover the scope and possi- Programming bilities involved in creating a practical digital lifestyle. In the realm of media and Game Developer’s Open media control, for instance, you’ll learn how you can read TV schedules digitally Source Handbook and use them to program video remotely through e-mail, SMS, or a web page. You’ll also learn the techniques for streaming music and video from one machine to another, how to give your home its own Twitter and e-mail accounts for sending automatic status reports, and the ability to remotely control the home Smart Home lights or heating system. Also, Smart Home Automation with Linux describes how you can use speech synthesis and voice recognition systems as a means to converse with your household devices in new, futuristic, ways. Additionally, I’ll also show you how to implement computer-controlled alarm clocks that can speak your daily calendar, news reports, train delays, and local with weather forecasts.
    [Show full text]
  • Interoperability As Desideratum, Problem, and Process
    Interoperability as Desideratum, Problem, and Process Gary Richmond City University of New York [email protected] Copyright © by Aalborg University Press 2006 Abstract. In a global environment more and more influenced by the use of Internet technology in distributed settings, issues of interoperability have become crucial for business and governments, and in fact for all individuals and organizations employing it and increasingly dependent on it. We analyze three inter-related but distinct levels of interoperability, the syntactic, semantic and pragmatic, and discuss some of the interoperability issues related especially to the semantic and pragmatic levels. We briefly look at the relationship between philosophical Ontology and ontology as the term is used in AI, suggesting that especially the scientific metaphysics (Ontology) of Charles Peirce might be of value in helping KR workers generally and ontologists in particular to uncover possibly hidden ontological commitments. We then consider John Sowa’s Unified Framework (UF) approach to semantic interoperability which recommends the adoption of the draft ISO standard for Common Logic, and touch upon how CGs could be effectively employed within this framework. The promise of Service Oriented Architectures (SOA) in consideration of real world applications is remarked, and it is suggested how in a fast paced and continuously changing environment, loose coupling may be becoming a necessity—not merely an option. We conclude that, while the future of network interoperability is far from certain, our communities at least can begin to act in concert within our particular fields of interest to come to agreement on those “best in class” theories, methods, and practices which could become catalysts for bringing about the cultural change whereas interoperability, openness, and sharing are seen as global desiderata.
    [Show full text]
  • Using Common Logic
    Using Common Logic = Mapping other KR techniques to CL. = Eliminating dongles. = The zero case Pat Hayes Florida IHMC John Sowa talked about this side. Now we will look more closely at this side, using the CLIF dialect. Wild West Syntax (CLIF) Any character string can be a name, and any name can play any syntactic role, and any name can be quantified. Anything that can be named can also be the value of a function. All this gives a lot of freedom to say exactly what we want, and to write axioms which convert between different notational conventions. It also allows many other 'conventional' notations to be transcribed into CLIF directly and naturally. It also makes CLIF into a genuine network logic, because CLIF texts retain their full meaning when transported across a network, archived, or freely combined with other CLIF texts. (Unlike OWL-DL and GOFOL) Mapping other notations to CLIF. 1. Description Logics Description logics provide ways to define classes in terms of other classes, individuals and properties. All people who have at least two sons enlisted in the US Navy. <this class> owl:intersectionOf [:Person _:x] _:x rdf:type owl:Restriction _:x owl:minCardinality "2"^^xsd:number _:x owl:onProperty :hasSon _:x owl:toClass _:y _:y rdf:type owl:Restriction _:y owl:hasValue :USNavy _:y owl:onProperty :enlistedIn Mapping other notations to CLIF. 1. Description Logics Classes are CL unary relations, properties are CL binary relations. So DL operators are functions from relations to other relations. (owl:IntersectionOf Person (owl:minCardinality 2 hasSon (owl:valueIs enlistedIn USNavy))) (AND Person (MIN 2 hasSon (VAL enlistedIn USNavy))) ((AND Person (MIN 2 hasSon (VAL enlistedIn USNavy))) Harry) (= 2ServingSons (AND Person (MIN 2 hasSon (VAL enlistedIn USNavy)))) (2ServingSons Harry) (NavyPersonClassification 2ServingSons) (BackgroundInfo 2ServingSons 'Classification introduced in 2003 for public relation purposes.') Mapping other notations to CLIF.
    [Show full text]
  • View, Laboratory Or Research Protocol
    Uciteli et al. Journal of Biomedical Semantics 2011, 2(Suppl 4):S1 http://www.jbiomedsem.com/content/2/S4/S1 JOURNAL OF BIOMEDICAL SEMANTICS PROCEEDINGS Open Access An ontologically founded architecture for information systems in clinical and epidemiological research Alexandr Uciteli1*, Silvia Groß1,2, Sergej Kireyev1, Heinrich Herre1* From Ontologies in Biomedicine and Life Sciences (OBML 2010) Mannheim, Germany. 9-10 September 2010 * Correspondence: alexander. Abstract [email protected]; [email protected] This paper presents an ontologically founded basic architecture for information 1 Institute for Medical Informatics, systems, which are intended to capture, represent, and maintain metadata for various Statistics and Epidemiology (IMISE), University of Leipzig, Germany domains of clinical and epidemiological research. Clinical trials exhibit an important basis for clinical research, and the accurate specification of metadata and their documentation and application in clinical and epidemiological study projects represents a significant expense in the project preparation and has a relevant impact on the value and quality of these studies. An ontological foundation of an information system provides a semantic framework for the precise specification of those entities which are presented in this system. This semantic framework should be grounded, according to our approach, on a suitable top-level ontology. Such an ontological foundation leads to a deeper understanding of the entities of the domain under consideration, and provides a common unifying semantic basis, which supports the integration of data and the interoperability between different information systems. The intended information systems will be applied to the field of clinical and epidemiological research and will provide, depending on the application context, a variety of functionalities.
    [Show full text]