Sciweavers

    214 search results - page 9 / 43
    » Optimisation of Terminological Reasoning
    Sort
    View
    DLOG
    2003
    84views Automated Reasoning» more  DLOG 2003»
    Description Logic Terminology
    13 years 10 months ago
    Description Logic Terminology
    Download  www.ksl.stanford.edu
    The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
    Franz Baader
    claim paper
    Read More »
    DLOG
    1996
    108views Automated Reasoning» more  DLOG 1996»
    Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
    13 years 10 months ago
    Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
    Download  www.inf.unibz.it
    The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
    Ounissa Larab, Aïcha-Nabila Benharkat
    claim paper
    Read More »
    BMCBI
    2007
    146views more  BMCBI 2007»
    Spatial location and its relevance for terminological inferences in bio-ontologies
    13 years 8 months ago
    Spatial location and its relevance for terminological inferences in bio-ontologies
    Download  www.biomedcentral.com
    Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
    Stefan Schulz, Kornél G. Markó, Udo ...
    claim paper
    Read More »
    IJCAI
    2003
    129views Artificial Intelligence» more  IJCAI 2003»
    Integrity and Change in Modular Ontologies
    13 years 10 months ago
    Integrity and Change in Modular Ontologies
    Download  ijcai.org
    The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to loc...
    Heiner Stuckenschmidt, Michel C. A. Klein
    claim paper
    Read More »
    LICS
    2006
    IEEE
    62views Automated Reasoning» more  LICS 2006»
    Approximation Schemes for First-Order Definable Optimisation Problems
    14 years 2 months ago
    Approximation Schemes for First-Order Definable Optimisation Problems
    Download  www.newton.ac.uk
    Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...
    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.