Sciweavers

    172 search results - page 30 / 35
    » A Semantic Algebra for Modularized Description Logics Knowle...
    Sort
    View
    DLOG
    2003
    151views Automated Reasoning» more  DLOG 2003»
    Wine Agent: Semantic Web Testbed Application
    13 years 11 months ago
    Wine Agent: Semantic Web Testbed Application
    Download  sunsite.informatik.rwth-aachen.de
    The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
    Eric I. Hsu, Deborah L. McGuinness
    claim paper
    Read More »
    VVEIS
    2007
    103views Information Technology» more  VVEIS 2007»
    UML-driven Information Systems and their Formal Integration Validation and Distribution
    13 years 11 months ago
    UML-driven Information Systems and their Formal Integration Validation and Distribution
    Download  wwwiti.cs.uni-magdeburg.de
    Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
    Nasreddine Aoumeur, Gunter Saake
    claim paper
    Read More »
    CCS
    2005
    ACM
    183views Security Privacy» more  CCS 2005»
    PeerAccess: a logic for distributed authorization
    14 years 3 months ago
    PeerAccess: a logic for distributed authorization
    Download  rewerse.net
    This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
    Marianne Winslett, Charles C. Zhang, Piero A. Bona...
    claim paper
    Read More »
    AO
    2007
    144views more  AO 2007»
    Social acquisition of ontologies from communication processes
    13 years 10 months ago
    Social acquisition of ontologies from communication processes
    Download  www.model.in.tum.de
    This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
    Matthias Nickles
    claim paper
    Read More »
    SWAP
    2007
    139views Internet Technology» more  SWAP 2007»
    Reasoning with Instances of Heterogeneous Ontologies
    13 years 11 months ago
    Reasoning with Instances of Heterogeneous Ontologies
    Download  ftp.informatik.rwth-aachen.de
    We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
    Luciano Serafini, Andrei Tamilin
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.