Sciweavers

    DLOG
    2010
    93views Automated Reasoning» more  DLOG 2010»
    Query Rewriting in DL-Lite_^(HN)_horn
    13 years 2 months ago
    Query Rewriting in DL-Lite_^(HN)_horn
    Download  www.cs.uwaterloo.ca
    Elena Botoeva, Alessandro Artale, Diego Calvanese
    claim paper
    Read More »
    DLOG
    2010
    149views Automated Reasoning» more  DLOG 2010»
    On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
    13 years 2 months ago
    On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
    Download  www.cs.uwaterloo.ca
    Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
    C. Maria Keet
    claim paper
    Read More »
    DLOG
    2010
    150views Automated Reasoning» more  DLOG 2010»
    Checking Full Satisfiability of Conceptual Models
    13 years 2 months ago
    Checking Full Satisfiability of Conceptual Models
    Download  www.inf.unibz.it
    Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
    Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
    claim paper
    Read More »
    DLOG
    2010
    126views Automated Reasoning» more  DLOG 2010»
    Distance-based Measures of Inconsistency and Incoherency for Description Logics
    13 years 2 months ago
    Distance-based Measures of Inconsistency and Incoherency for Description Logics
    Download  www.cs.uwaterloo.ca
    Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
    Yue Ma, Pascal Hitzler
    claim paper
    Read More »
    DLOG
    2010
    115views Automated Reasoning» more  DLOG 2010»
    A Compatible Approach to Temporal Description Logics
    13 years 2 months ago
    A Compatible Approach to Temporal Description Logics
    Download  www.cs.uwaterloo.ca
    Norihiro Kamide
    claim paper
    Read More »
    DLOG
    2010
    224views Automated Reasoning» more  DLOG 2010»
    KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
    13 years 2 months ago
    KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
    Download  www.cs.uwaterloo.ca
    Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
    Quentin Reul, Jeff Z. Pan
    claim paper
    Read More »
    « first‹ previous1234
    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.