Sciweavers

    DLOG
    2004
    87views Automated Reasoning» more  DLOG 2004»
    OntoXpl: Exploration of OWL Ontologies
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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
    13 years 11 months 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 »
    DLOG
    2004
    79views Automated Reasoning» more  DLOG 2004»
    Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
    13 years 11 months ago
    Reasoning on Temporal Conceptual Schemas with Dynamic Constraints
    Download  sunsite.informatik.rwth-aachen.de
    Alessandro Artale
    claim paper
    Read More »
    DLOG
    2004
    96views Automated Reasoning» more  DLOG 2004»
    On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
    13 years 11 months ago
    On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
    Download  sunsite.informatik.rwth-aachen.de
    Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...
    Sebastian Brandt
    claim paper
    Read More »
    « first‹ previous…777879808182838485…next ›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.