Sciweavers

    DLOG
    2008
    140views Automated Reasoning» more  DLOG 2008»
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
    14 years 5 days 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
    14 years 5 days 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
    14 years 5 days 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+
    14 years 5 days 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
    14 years 5 days 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
    14 years 5 days 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
    14 years 5 days 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
    14 years 5 days 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 »
    DLOG
    2008
    107views Automated Reasoning» more  DLOG 2008»
    Partial and Informative Common Subsumers of Concepts Collections in Description Logics
    14 years 5 days ago
    Partial and Informative Common Subsumers of Concepts Collections in Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
    Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
    claim paper
    Read More »
    DLOG
    2008
    91views Automated Reasoning» more  DLOG 2008»
    A Hybrid Tableau Algorithm for ALCQ
    14 years 5 days ago
    A Hybrid Tableau Algorithm for ALCQ
    Download  users.encs.concordia.ca
    Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
    Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev,...
    claim paper
    Read More »
    « first‹ previous…899091929394959697…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.