Sciweavers

    DLOG
    2004
    101views Automated Reasoning» more  DLOG 2004»
    Tableau Systems for SHIO and SHIQ
    14 years 28 days ago
    Tableau Systems for SHIO and SHIQ
    Download  sunsite.informatik.rwth-aachen.de
    Jan Hladik, Jörg Model
    claim paper
    Read More »
    DLOG
    2004
    111views Automated Reasoning» more  DLOG 2004»
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems
    14 years 28 days ago
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems
    Download  www.racer-systems.com
    er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
    Volker Haarslev, Ralf Möller, Ragnhild Van De...
    claim paper
    Read More »
    DLOG
    2004
    87views Automated Reasoning» more  DLOG 2004»
    OntoXpl: Exploration of OWL Ontologies
    14 years 28 days ago
    OntoXpl: Exploration of OWL Ontologies
    Download  sunsite.informatik.rwth-aachen.de
    This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
    Volker Haarslev, Ying Lu 0003, Nematollaah Shiri
    claim paper
    Read More »
    DLOG
    2004
    105views Automated Reasoning» more  DLOG 2004»
    From SHOQ(D) Toward E-connections
    14 years 28 days ago
    From SHOQ(D) Toward E-connections
    Download  www.mindswap.org
    In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
    Bernardo Cuenca Grau, Bijan Parsia
    claim paper
    Read More »
    DLOG
    2004
    159views Automated Reasoning» more  DLOG 2004»
    Semantics Driven Support for Query Formulation
    14 years 28 days ago
    Semantics Driven Support for Query Formulation
    Download  sunsite.informatik.rwth-aachen.de
    In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrate...
    Paolo Dongilli, Enrico Franconi, Sergio Tessaris
    claim paper
    Read More »
    DLOG
    2004
    123views Automated Reasoning» more  DLOG 2004»
    Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
    14 years 28 days ago
    Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
    Download  sunsite.informatik.rwth-aachen.de
    Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
    Ronald Cornet, Ameen Abu-Hanna
    claim paper
    Read More »
    DLOG
    2004
    144views Automated Reasoning» more  DLOG 2004»
    A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
    14 years 28 days ago
    A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
    Download  sunsite.informatik.rwth-aachen.de
    We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
    Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
    claim paper
    Read More »
    DLOG
    2004
    90views Automated Reasoning» more  DLOG 2004»
    DL-Lite: Practical Reasoning for Rich Dls
    14 years 28 days ago
    DL-Lite: Practical Reasoning for Rich Dls
    Download  sunsite.informatik.rwth-aachen.de
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    DLOG
    2004
    111views Automated Reasoning» more  DLOG 2004»
    A Description Logic Based Approach for Matching User Profiles
    14 years 28 days ago
    A Description Logic Based Approach for Matching User Profiles
    Download  www.inf.unibz.it
    Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
    Andrea Calì, Diego Calvanese, Simona Colucc...
    claim paper
    Read More »
    DLOG
    2004
    138views Automated Reasoning» more  DLOG 2004»
    Towards Implementing Finite Model Reasoning in Description Logics
    14 years 28 days ago
    Towards Implementing Finite Model Reasoning in Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
    claim paper
    Read More »
    « first‹ previous123next ›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.