Sciweavers

    DLOG
    2008
    104views Automated Reasoning» more  DLOG 2008»
    The Representation of Structured Objects in DLs using Description Graphs
    13 years 6 months ago
    The Representation of Structured Objects in DLs using Description Graphs
    Download  sunsite.informatik.rwth-aachen.de
    Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
    claim paper
    Read More »
    DLOG
    2008
    104views Automated Reasoning» more  DLOG 2008»
    Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics
    13 years 6 months ago
    Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics
    Download  sunsite.informatik.rwth-aachen.de
    We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
    Adrien Coulet, Malika Smaïl-Tabbone, Amedeo N...
    claim paper
    Read More »
    DLOG
    2008
    194views Automated Reasoning» more  DLOG 2008»
    Consistency Checking for Extended Description Logics
    13 years 6 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
    13 years 6 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
    13 years 6 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
    13 years 6 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
    13 years 6 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
    13 years 6 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
    13 years 6 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
    13 years 6 months ago
    LTL over Description Logic Axioms
    Download  www.informatik.uni-bremen.de
    Franz Baader, Silvio Ghilardi, Carsten Lutz
    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.