Sciweavers

    DLOG
    2008
    194views Automated Reasoning» more  DLOG 2008»
    Consistency Checking for Extended Description Logics
    14 years 1 months ago
    Consistency Checking for Extended Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
    Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...
    claim paper
    Read More »
    DLOG
    2008
    142views Automated Reasoning» more  DLOG 2008»
    Paraconsistent Reasoning for Expressive and Tractable Description Logics
    14 years 1 months ago
    Paraconsistent Reasoning for Expressive and Tractable Description Logics
    Download  people.aifb.kit.edu
    Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
    Yue Ma, Pascal Hitzler, Zuoquan Lin
    claim paper
    Read More »
    DLOG
    2008
    136views Automated Reasoning» more  DLOG 2008»
    SRIQ and SROIQ are Harder than SHOIQ
    14 years 1 months ago
    SRIQ and SROIQ are Harder than SHOIQ
    Download  www.comlab.ox.ac.uk
    We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
    Yevgeny Kazakov
    claim paper
    Read More »
    DLOG
    2008
    91views Automated Reasoning» more  DLOG 2008»
    ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
    14 years 1 months ago
    ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
    Download  sunsite.informatik.rwth-aachen.de
    Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
    Tobias Henrik Näth, Ralf Möller
    claim paper
    Read More »
    DLOG
    2008
    78views Automated Reasoning» more  DLOG 2008»
    The Projection Problem for EL Actions
    14 years 1 months ago
    The Projection Problem for EL Actions
    Download  sunsite.informatik.rwth-aachen.de
    Hongkai Liu, Carsten Lutz, Maja Milicic
    claim paper
    Read More »
    DLOG
    2008
    86views Automated Reasoning» more  DLOG 2008»
    Planning of Axiom Absorption
    14 years 1 months ago
    Planning of Axiom Absorption
    Download  sunsite.informatik.rwth-aachen.de
    Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
    Jiewen Wu, Volker Haarslev
    claim paper
    Read More »
    DLOG
    2008
    110views Automated Reasoning» more  DLOG 2008»
    Using DL to Support a very Large Healthcare Terminology: Successes and Challenges
    14 years 1 months ago
    Using DL to Support a very Large Healthcare Terminology: Successes and Challenges
    Download  dl.kr.org
    Kent A. Spackman
    claim paper
    Read More »
    DLOG
    2008
    92views Automated Reasoning» more  DLOG 2008»
    LTL over Description Logic Axioms
    14 years 1 months ago
    LTL over Description Logic Axioms
    Download  www.informatik.uni-bremen.de
    Franz Baader, Silvio Ghilardi, Carsten Lutz
    claim paper
    Read More »
    DLOG
    2008
    78views Automated Reasoning» more  DLOG 2008»
    Towards Higher-Order DL-Lite
    14 years 1 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
    14 years 1 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 »
    « first‹ previous…888990919293949596…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.