Sciweavers

    DLOG
    2008
    78views Automated Reasoning» more  DLOG 2008»
    Towards Higher-Order DL-Lite
    13 years 6 months ago
    Towards Higher-Order DL-Lite
    Download  sunsite.informatik.rwth-aachen.de
    Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
    claim paper
    Read More »
    DLOG
    2008
    88views Automated Reasoning» more  DLOG 2008»
    A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
    13 years 6 months ago
    A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
    Download  sunsite.informatik.rwth-aachen.de
    Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
    Franz Baader, Novak Novakovik, Boontawee Suntisriv...
    claim paper
    Read More »
    DLOG
    2008
    140views Automated Reasoning» more  DLOG 2008»
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
    13 years 6 months ago
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
    Download  sunsite.informatik.rwth-aachen.de
    Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
    Andrea Calì, Georg Gottlob, Michael Kifer
    claim paper
    Read More »
    DLOG
    2008
    86views Automated Reasoning» more  DLOG 2008»
    Explaining User Errors in Knowledge Base Completion
    13 years 6 months ago
    Explaining User Errors in Knowledge Base Completion
    Download  sunsite.informatik.rwth-aachen.de
    Baris Sertkaya
    claim paper
    Read More »
    DLOG
    2008
    120views Automated Reasoning» more  DLOG 2008»
    Identifying Objects Over Time with Description Logics
    13 years 6 months ago
    Identifying Objects Over Time with Description Logics
    Download  www.cs.uwaterloo.ca
    A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
    David Toman, Grant E. Weddell
    claim paper
    Read More »
    DLOG
    2008
    204views Automated Reasoning» more  DLOG 2008»
    Classifying Fuzzy Subsumption in Fuzzy-EL+
    13 years 6 months ago
    Classifying Fuzzy Subsumption in Fuzzy-EL+
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
    Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
    claim paper
    Read More »
    DLOG
    2008
    120views Automated Reasoning» more  DLOG 2008»
    Realization Problem for Formal Concept Analysis
    13 years 6 months ago
    Realization Problem for Formal Concept Analysis
    Download  sunsite.informatik.rwth-aachen.de
    Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
    Nikolay Shilov
    claim paper
    Read More »
    DLOG
    2008
    106views Automated Reasoning» more  DLOG 2008»
    Distributed Resolution for ALC
    13 years 6 months ago
    Distributed Resolution for ALC
    Download  ki.informatik.uni-mannheim.de
    The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
    Anne Schlicht, Heiner Stuckenschmidt
    claim paper
    Read More »
    DLOG
    2008
    188views Automated Reasoning» more  DLOG 2008»
    The Revival of Structural Subsumption in Tableau-based Reasoners
    13 years 6 months ago
    The Revival of Structural Subsumption in Tableau-based Reasoners
    Download  sunsite.informatik.rwth-aachen.de
    Ralf Möller, Volker Haarslev, Sebastian Wande...
    claim paper
    Read More »
    DLOG
    2008
    98views Automated Reasoning» more  DLOG 2008»
    Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
    13 years 6 months ago
    Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
    Download  www.comlab.ox.ac.uk
    Rob Shearer, Boris Motik, Ian Horrocks
    claim paper
    Read More »
    « first‹ previous12345next ›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.