Sciweavers

    DLOG
    2003
    99views Automated Reasoning» more  DLOG 2003»
    DL Reasoner vs. First-Order Prover
    13 years 6 months ago
    DL Reasoner vs. First-Order Prover
    Download  www.cs.man.ac.uk
    We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
    Dmitry Tsarkov, Ian Horrocks
    claim paper
    Read More »
    DLOG
    2003
    128views Automated Reasoning» more  DLOG 2003»
    Detecting Inconsistencies between UML Models Using Description Logic
    13 years 6 months ago
    Detecting Inconsistencies between UML Models Using Description Logic
    Download  sunsite.informatik.rwth-aachen.de
    An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
    Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
    claim paper
    Read More »
    DLOG
    2003
    118views Automated Reasoning» more  DLOG 2003»
    Distributed Search in the Semantic Web
    13 years 6 months ago
    Distributed Search in the Semantic Web
    Download  sunsite.informatik.rwth-aachen.de
    Umberto Straccia
    claim paper
    Read More »
    DLOG
    2003
    81views Automated Reasoning» more  DLOG 2003»
    Index Selection for Embedded Control Applications using Description Logics
    13 years 6 months ago
    Index Selection for Embedded Control Applications using Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
    Lubomir Stanchev, Grant E. Weddell
    claim paper
    Read More »
    DLOG
    2003
    106views Automated Reasoning» more  DLOG 2003»
    Explanation of Terminological Reasoning: A Preliminary Report
    13 years 6 months ago
    Explanation of Terminological Reasoning: A Preliminary Report
    Download  sunsite.informatik.rwth-aachen.de
    This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
    Stefan Schlobach, Ronald Cornet
    claim paper
    Read More »
    DLOG
    2003
    125views Automated Reasoning» more  DLOG 2003»
    Relationships with other Formalisms
    13 years 6 months ago
    Relationships with other Formalisms
    Download  teacode.com
    In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
    Ulrike Sattler, Diego Calvanese, Ralf Molitor
    claim paper
    Read More »
    DLOG
    2003
    98views Automated Reasoning» more  DLOG 2003»
    Medical Informatics
    13 years 6 months ago
    Medical Informatics
    Download  www.aafp.org
    Alan L. Rector
    claim paper
    Read More »
    DLOG
    2003
    81views Automated Reasoning» more  DLOG 2003»
    Query Evaluation over Networks of Logic-based Mediators (Position Paper)
    13 years 6 months ago
    Query Evaluation over Networks of Logic-based Mediators (Position Paper)
    Download  sunsite.informatik.rwth-aachen.de
    Carlo Meghini, Yannis Tzitzikas
    claim paper
    Read More »
    DLOG
    2003
    115views Automated Reasoning» more  DLOG 2003»
    From Description Logic Provers to Knowledge Representation Systems
    13 years 6 months ago
    From Description Logic Provers to Knowledge Representation Systems
    Download  www.inf.unibz.it
    A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
    Deborah L. McGuinness, Peter F. Patel-Schneider
    claim paper
    Read More »
    DLOG
    2003
    105views Automated Reasoning» more  DLOG 2003»
    RDFS(FA): A DL-ised Sub-language of RDFS
    13 years 6 months ago
    RDFS(FA): A DL-ised Sub-language of RDFS
    Download  www.comlab.ox.ac.uk
    Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
    Jeff Z. Pan, Ian Horrocks
    claim paper
    Read More »
    1234next ›last »
    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.