Search Results - "semantics"

Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics by Draheim, Dirk, 1969-

Contents: “…4.6 Path StoppabilityPath Computability; Path Stoppability and Program Analysis; Strength of Path Stoppability; 4.7 Program Reduction Trees; 4.7.1 Intuition Behind the Reduction Tree Construction; 4.7.2 Program Runs in Reduction Graphs and Trees; 4.7.3 Construction of the Reduction Tree; 4.8 Characteristics of Bounded Termination; 5: Denotational Semantics; 5.1 Domains and Denotations; 5.1.1 Semantics of Types; 5.1.2 Semantics of Lambda Terms; Variable Environments; Semantic Equations; 5.1.3 Basic Semantic Operators; 5.1.4 Higher-Type Arithmetics.…”
SpringerLink - Click here for access

Concrete semantics : with Isabelle/HOL by Nipkow, Tobias, 1958-, Klein, Gerwin

Contents: “…Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond Equality -- Isar: A Language for Structured Proofs -- IMP: A Simple Imperative Language -- Compiler -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. …”
SpringerLink - Click here for access

The Semantic Web : research and applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 : proceedings by European Semantic Web Conference Tenerife, Canary Islands, Spain, SpringerLink (Online service)

Contents: “…Invited Talks -- From Capturing Semantics to Semantic Search: A Virtuous Cycle -- Foundations of RDF Databases -- Garlik: Semantic Technology for the Consumer -- Agents -- Semantic Web Technology for Agent Communication Protocols -- xOperator -- Interconnecting the Semantic Web and Instant Messaging Networks -- Application Ontologies -- An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning -- A Core Ontology for Business Process Analysis -- Applications -- Assisting Pictogram Selection with Semantic Interpretation -- KonneXSALT: First Steps Towards a Semantic Claim Federation Infrastructure -- Building a National Semantic Web Ontology and Ontology Service Infrastructure -The FinnONTO Approach -- Creating and Using Geospatial Ontology Time Series in a Semantic Cultural Heritage Portal -- Semantic Email as a Communication Medium for the Social Semantic Desktop -- IVEA: An Information Visualization Tool for Personalized Exploratory Document Collection Analysis -- Building a Semantic Web Image Repository for Biological Research Images -- Formal Languages -- Mapping Validation by Probabilistic Reasoning -- Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support -- dRDF: Entailment for Domain-Restricted RDF -- Finite Model Reasoning in DL-Lite -- Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies -- Forgetting Concepts in DL-Lite -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web Architecture -- Learning -- Query Answering and Ontology Population: An Inductive Approach -- Instance Based Clustering of Semantic Web Resources -- Conceptual Clustering and Its Application to Concept Drift and Novelty Detection -- Ontologies and Natural Language -- Enriching an Ontology with Multilingual Information -- Rabbit: Developing a Control Natural Language for Authoring Ontologies -- A Natural Language Query Interface to Structured Information -- Distinguishing between Instances and Classes in the Wikipedia Taxonomy -- Ontology Alignment -- Two Variations on Ontology Alignment Evaluation: Methodological Issues -- Putting Ontology Alignment in Context: Usage Scenarios, Deployment and Evaluation in a Library Case -- CSR: Discovering Subsumption Relations for the Alignment of Ontologies -- Query Processing -- XSPARQL: Traveling between the XML and RDF Worlds -- and Avoiding the XSLT Pilgrimage -- Streaming SPARQL -- Extending SPARQL to Process Data Streams -- The Creation and Evaluation of iSPARQL Strategies for Matchmaking -- Adding Data Mining Support to SPARQL Via Statistical Relational Learning Methods -- A Semantic Web Middleware for Virtual Data Integration on the Web -- Graph Summaries for Subgraph Frequency Estimation -- Querying Distributed RDF Data Sources with SPARQL -- Improving Interoperability Using Query Interpretation in Semantic Vector Spaces -- Search -- Hybrid Search: Effectively Combining Keywords and Semantic Searches -- Combining Fact and Document Retrieval with Spreading Activation for Semantic Desktop Search -- Q2Semantic: A Lightweight Keyword Interface to Semantic Search -- Semantic Web Services -- Conceptual Situation Spaces for Semantic Situation-Driven Processes -- Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery -- Web Service Composition with User Preferences -- Enhancing Workflow with a Semantic Description of Scientific Intent -- WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic -- WSMO-Lite Annotations for Web Services -- Storage and Retrieval of Semantic Web Data -- Semantic Sitemaps: Efficient and Flexible Access to Datasets on the Semantic Web -- On Storage Policies for Semantic Web Repositories That Support Versioning -- User Interface and Personalization -- Semantic Reasoning: A Path to New Possibilities of Personalization -- An User Interface Adaptation Architecture for Rich Internet Applications -- OntoGame: Weaving the Semantic Web by Online Games -- Demo Papers -- SWING: An Integrated Environment for Geospatial Semantic Web Services -- Semantic Annotation and Composition of Business Processes with Maestro -- Learning Highly Structured Semantic Repositories from Relational Databases: -- Cicero: Tracking Design Rationale in Collaborative Ontology Engineering -- xOperator -- An Extensible Semantic Agent for Instant Messaging Networks -- LabelTranslator -- A Tool to Automatically Localize an Ontology -- RKBExplorer.com: A Knowledge Driven Infrastructure for Linked Data Providers -- Semantic Browsing with PowerMagpie -- Tagster -- Tagging-Based Distributed Content Sharing -- The Web Service Modeling Toolkit -- Mymory: Enhancing a Semantic Wiki with Context Annotations -- Pronto: A Non-monotonic Probabilistic Description Logic Reasoner -- User Profiling for Semantic Browsing in Medical Digital Libraries -- SWiM -- A Semantic Wiki for Mathematical Knowledge Management -- Integrating Open Sources and Relational Data with SPARQL -- Previewing Semantic Web Pipes -- Demo: Visual Programming for the Semantic Desktop with Konduit -- SCARLET: SemantiC RelAtion DiscoveRy by Harvesting OnLinE OnTologies -- ODEWiki: A Semantic Wiki That Interoperates with the ODESeW Semantic Portal -- Simplifying Access to Large-Scale Health Care and Life Sciences Datasets -- GRISINO -- An Integrated Infrastructure for Semantic Web Services, Grid Computing and Intelligent Objects -- SemSearch: Refining Semantic Search -- The Combination of Techniques for Automatic Semantic Image Annotation Generation in the IMAGINATION Application -- WSMX: A Solution for B2B Mediation and Discovery Scenarios -- Conceptual Spaces in ViCoS.…”
SpringerLink - Click here for access

Semantic Technology : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers by SpringerLink (Online service)

Contents: “…Ontology and reasoning -- Linked data -- Knowledge graph -- Ontology and data management -- Information retrieval and knowledge discovery -- RDF and query.-Application of semantic technologies.…”
SpringerLink - Click here for access

Reactive Kripke semantics by Gabbay, Dov M., 1945-

Contents: “…A Theory of Hypermodal Logics -- Introducing Reactive Kripke Semantics and Arc Accessibility -- Introducing Reactive Modal Tableaux -- Reactive Intuitionistic Tableaux -- Completeness Theorems for Reactive Modal Logics -- Modal Logics of Reactive Frames -- Global View on Reactivity: Switch Graphs and their Logics -- Reactive Automata -- Reactivity and Grammars: An Exploration -- Reactive Flow Products -- Reactive Standard Deontic Logic -- Reactive Preferential Structures and Nonmonotonic Consequence.…”
SpringerLink - Click here for access

Chinese lexical semantics : 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013, Revised selected papers by CLSW (Workshop) Zhengzhou, China), SpringerLink (Online service)

Contents: “…Lexical Semantics.…”
SpringerLink - Click here for access

Chinese lexical semantics : 15th Workshop, CLSW 2014, Macao, China, June 9-12, 2014, Revised Selected Papers by CLSW (Workshop) Macao, China), SpringerLink (Online service)

Contents: “…Intro; Preface; Organization; Contents; Lexical Semantics; Embedded Compounding Monosyllabic Morphemes:A Perspective from the Lexical Study and TCFL; 1 Introduction; 2 The Definition of ECMM and Relative Research; 3 The Analysis of the Errors Made by the Foreign Students; 3.1 The Errors Made when Using ECMM; 3.2 Errors Made from the Collocations of the ECMM; 3.3 Element Chosen Errors from the ECMM; 3.4 Reasons of the Errors; 4 Method of Teaching ECMM; 4.1 Recognition; 4.2 Teaching and Practice; 4.3 Steps of Consolidation; 4.4 Flexible Application; 5 Conclusion; References.…”
SpringerLink - Click here for access

Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20--22, 2016, Revised Selected Papers by SpringerLink (Online service)

Contents: “…Lexicon and morphology -- The syntax-semantics interface -- Corpus and resource -- Natural language processing -- Case study of lexical semantics -- Extended study and application.…”
SpringerLink - Click here for access

Towards the multilingual semantic web : principles, methods and applications by SpringerLink (Online service)

Contents: “…Part Principles -- Overcoming Linguistic Barriers to the Multilingual Semantic Web -- Design Patterns for Engineering the Ontology-Lexicon Interface -- Context and Terminology in the Multilingual Semantic Web -- The Multilingual Semantic Web as Virtual Knowledge Commons: The Case of the Under-resourced South African Languages -- A three-dimensional paradigm for conceptually scoped language technology -- Towards Verbalizing Multilingual N-ary Relations -- Part Methods -- Publishing Linked Data on the Web: the Multilingual Dimension -- State-of-the-art in Multilingual and Cross-Lingual Ontology Matching -- Mind the cultural gap: bridging language specific DBpedia chapters for Question Answering -- Multilingual Extraction Ontologies -- Collaborative Management of Multilingual Ontologies -- From RDF to Natural Language and Back -- Multilingual Natural Language Interaction with Semantic Web Knowledge Bases and Linked Open Data -- A Cross-Lingual Correcting and Completive Method for Multilingual Ontology Labels -- A Cross-Lingual Correcting and Completive Method for Multilingual Ontology Labels -- Multilingual Lexicalisation and Population of Event Ontologies. …”
SpringerLink - Click here for access

The Semantic Web and Web Science : 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers by CSWS (Conference : 2014- ) Wuhan Shi, China), SpringerLink (Online service)

Subjects: “…Semantic Web Congresses.…”
SpringerLink - Click here for access

The semantic web -- ISWC 2015 : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings. Part I by International Semantic Web Conference Bethlehem, Pa., SpringerLink (Online service)

Subjects: “…Semantic Web Congresses.…”
SpringerLink - Click here for access

The semantic web -- ISWC 2015 : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings. Part II by International Semantic Web Conference Bethlehem, Pa., SpringerLink (Online service)

Subjects: “…Semantic Web Congresses.…”
SpringerLink - Click here for access

Semantic Web Evaluation Challenges : SemWebEval 2015 at ESWC 2015, Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers by SemWebEval (Conference) Portorož, Slovenia), SpringerLink (Online service)

Subjects: “…Semantic Web Congresses.…”
SpringerLink - Click here for access

Semantic Web services, processes and applications by SpringerLink (Online service)

Contents: “…Semantic Web Services -- The Semantic Web and Its Applications -- Semantic Annotations in Web Services -- Web Services Modeling Ontology -- Keywords, Port Types and Semantics: A Journey in the Land of Web Service Discovery -- Temporal Reasoning Of Reactive Web Services -- Semantic Web Processes -- Basic Concepts In Choreography Services -- Designing Semantic Web Processes: The Wsdl-S Approach -- Web Services Composition -- Matching And Mapping For Semantic Web Processes -- Real-world Applications -- Developing An Owl Ontology For e-Tourism -- Semantic Technology For e-Government -- Bioinformatics Applications Of Web Services, Web Processes And Role Of Semantics -- Building Semantic Business Services -- Programming The Semantic Web.…”
SpringerLink - Click here for access

The Semantic Web: ESWC 2015 Satellite Events : ESWC 2015 Satellite Events Portorož, Slovenia, May 31 - June 4, 2015, Revised Selected Papers by SpringerLink (Online service), European Semantic Web Conference

Contents: “…How to Stay Ontop of Your Data: Databases, Ontologies and More1 Introduction; 2 Ontop; 3 A Demo of Ontop Over NPD; 3.1 Ontop as a SPARQL Endpoint; 3.2 New Features in Ontop; 4 Conclusions; References; This ̀Paper' is a Demo; 1 Introduction; 2 Technology and Design; 2.1 Structure and Semantics; 2.2 Presentation; 2.3 Interaction; 3 Multimedia Interactions; 3.1 Print; 3.2 Slideshow; 3.3 Audio; 3.4 Video; 3.5 Statistical Displays; 3.6 Linked Statistical Data Cube Designer; 3.7 Executable Code; 4 Conclusions; Reference.…”
SpringerLink - Click here for access

The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers by Extended Semantic Web Conference Greece, SpringerLink (Online service)

Contents: “…Feature Selection -- Incremental Data Partitioning of RDF Data in SPARK -- Developing an Ontology for Curriculum & Syllabus -- Computer-assisted Ontology Construction System: Focus on Bootstrapping Capabilities -- Matching Offerings and Queries on an Internet of Things Marketplace -- Exploiting Equivalence to Infer Type Subsumption in Linked Graphs -- Speleothem -- An Information System for Caves Based on Semantic Web Technologies -- M-CREAM: A Tool for Creative Modeling of Emergency Scenarios in Smart Cities -- Context Spaces as the Cornerstone of a Near-Transparent & Self-Reorganizing Semantic Desktop -- SeGoFlow: A Semantic Governance Workflow Tool -- Image User Profiling with Knowledge Graph and Computer Vision -- reboting.com: Towards geo-search and visualization of Austrian Open Data -- Demoing Platypus -- a Multilingual Question Answering Platform for Wikidata -- Knowledge Graph Embeddings with node2vec for Item Recommendation -- REDI: A Linked Data-powered Research Networking Platform -- Combining P-Plan and the REPRODUCE-ME Ontology to Achieve Semantic Enrichment of Scientific Experiments using Interactive Notebooks -- A Scalable Consent, Transparency and Compliance Architecture -- Enabling Conversational Tourism Assistants through Schema.org Mapping -- A Workflow for generation of LDP -- Supporting sustainable publishing and consuming of live Linked Time Series Streams -- TagTheWeb: Using Wikipedia Categories to Automatically Classify Resources on the Web -- ViziQuer: a Web-based Tool for Visual Diagrammatic Queries over RDF Data -- EventKG+TL: Creating Cross-Lingual Timelines from an Event-Centric Knowledge Graph -- ABSTAT 1.0: Compute, Manage and Share Semantic Profiles of RDF Knowledge Graphs -- Entity Linking in 40 Languages using MAG -- Ulysses: an Intelligent client for replicated Triple Pattern Fragments -- Bridging Web APIs and Linked Data with SPARQL Micro-Services -- Grasping Metaphors: Lexical Semantics in Metaphor Analysis -- The Unified Code for Units of Measure in RDF: cdt:ucum and other UCUM Datatypes -- Deep Linking Desktop Resources -- VocRec: An Automated Vocabulary Recommender Tool -- Declarative Rules for Linked Data Generation at your Fingertips -- Modeling and Reasoning over Data Licenses -- PhD Symposium Track -- Recommending spatial classes for entity interlinking in the Web of Data -- Ontology ABox Comparison -- Modeling and Querying Versioned Source Code in RDF -- Linkflows: enabling a web of linked semantic publishing workflows -- Adaptive anomaly detection and root cause analysis by fusing semantics and machine learning -- Question Answering over Knowledge Bases -- Semantic Query Federation for Scalable Security Log Analysis -- Assessing the Quality of owl:sameAs Links -- SHARK: A Test-driven Framework for Design and Evolution of Ontologies -- 3rd Workshop on Geospatial Linked Data -- Using Linked Open Geo Boundaries for Adaptive Delineation of Functional Urban Areas -- 4th Workshop on Sentic Computing, Sentiment Analysis, Opinion Mining, and Emotion Detection -- A Study of the Similarities of Entity Embeddings Learned from Different Aspects of a Knowledge Base for Item Recommendations -- 2nd Workshop on Querying the Web of Data -- MAS: A Corpus of Tweets for Marketing in Spanish -- 4th Workshop on Social Media World Sensors -- Benchmarking Commercial RDF Stores with Publications Office Dataset -- 1st Workshop on Semantic Web of Things for Industry 4.0 -- Such a wonderful Place: extracting sense of place from Twitter -- 3rd Workshop on Semantic Web for Cultural Heritage -- IoT Semantic Interoperability With Device Description Shapes -- Exploring Linked Data For The Automatic Enrichment of Historical Archives -- 4th Workshop on Managing the Evolution and Preservation of the Data Web -- nlGis: A Use Case in Linked Historic Geodata -- 2nd Semantic Web solutions for large-scale biomedical data analytics -- Distributed RDF archives Querying with Spark -- 1st Workshop on Deep Learning for Knowledge Graphs and Semantic Technologies -- Assessing FAIR Data Principles against the 5-Star Open Data Principles -- Translational Models for Item Recommendation.…”
SpringerLink - Click here for access

Big data integration theory : theory and methods of database mappings, programming languages, and semantics by Majkić, Zoran

Contents: “…Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics -- Definition of DB Category -- Functorial Semantics for Database Schema Mappings -- Extensions of Relational Codd's Algebra and DB Category -- Categorial RDB Machines -- Operational Semantics for Database Mappings -- The Properties of DB Category -- Weak Monoidal DB Topos.…”
SpringerLink - Click here for access

Games: Unifying Logic, Language, and Philosophy by Rahman, Shahid, 1956-

Contents: “…-- On The Narrow Epistemology of Game-Theoretic Agents -- Interpretation, Coordination and Conformity -- Fallacies as Cognitive Virtues -- Game-Theoretic Semantics -- A Strategic Perspective on if Games -- Towards Evaluation Games for Fuzzy Logics -- Games, Quantification and Discourse Structure -- Dialogues -- From Games to Dialogues and Back -- Revisiting Giles's Game -- Implicit Versus Explicit Knowledge in Dialogical Logic -- Computation and Mathematics -- In the Beginning was Game Semantics? …”
SpringerLink - Click here for access

Computer and information science 2012 by International Conference on Computer and Information Science Shanghai, China, SpringerLink (Online service)

Subjects: SpringerLink - Click here for access

E-science and information management : third International Symposium on Information Management in a Changing World, IMCW 2012, Ankara, Turkey, September 19-21, 2012. Proceedings by International Symposium on Information Management in a Changing World Ankara, Turkey, SpringerLink (Online service)

Subjects: SpringerLink - Click here for access