Sciweavers

    DLOG
    2009
    131views Automated Reasoning» more  DLOG 2009»
    Quasi-Classical Semantics for Expressive Description Logics
    13 years 2 months ago
    Quasi-Classical Semantics for Expressive Description Logics
    Download  www.is.pku.edu.cn
    Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
    Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
    claim paper
    Read More »
    DLOG
    2009
    128views Automated Reasoning» more  DLOG 2009»
    Reasoning About Typicality in ALC and EL
    13 years 2 months ago
    Reasoning About Typicality in ALC and EL
    Download  sunsite.informatik.rwth-aachen.de
    In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
    Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
    claim paper
    Read More »
    DLOG
    2009
    129views Automated Reasoning» more  DLOG 2009»
    A Matter of Principles: Towards the Largest DLP Possible
    13 years 2 months ago
    A Matter of Principles: Towards the Largest DLP Possible
    Download  korrekt.org
    Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
    Markus Krötzsch, Sebastian Rudolph
    claim paper
    Read More »
    DLOG
    2010
    134views Automated Reasoning» more  DLOG 2010»
    Paraconsistent Description Logics Revisited
    13 years 2 months ago
    Paraconsistent Description Logics Revisited
    Download  www.cs.uwaterloo.ca
    Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
    Norihiro Kamide
    claim paper
    Read More »
    DLOG
    2010
    172views Automated Reasoning» more  DLOG 2010»
    TBox Classification in Parallel: Design and First Evaluation
    13 years 2 months ago
    TBox Classification in Parallel: Design and First Evaluation
    Download  www.cs.uwaterloo.ca
    Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
    Mina Aslani, Volker Haarslev
    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 »
    RR
    2010
    Springer
    237views Automated Reasoning» more  RR 2010»
    On the Semantic Relationship between Datalog and Description Logics
    13 years 3 months ago
    On the Semantic Relationship between Datalog and Description Logics
    Download  korrekt.org
    Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
    Markus Krötzsch, Sebastian Rudolph, Peter H. ...
    claim paper
    Read More »
    JSC
    2010
    135views more  JSC 2010»
    Deciding inseparability and conservative extensions in the description logic EL
    13 years 3 months ago
    Deciding inseparability and conservative extensions in the description logic EL
    Download  www.csc.liv.ac.uk
    We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
    Carsten Lutz, Frank Wolter
    claim paper
    Read More »
    JAIR
    1998
    163views more  JAIR 1998»
    A Temporal Description Logic for Reasoning about Actions and Plans
    13 years 4 months ago
    A Temporal Description Logic for Reasoning about Actions and Plans
    Download  www.jair.org
    A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
    Alessandro Artale, Enrico Franconi
    claim paper
    Read More »
    AI
    1999
    Springer
    103views Artificial Intelligence» more  AI 1999»
    Modal Logics, Description Logics and Arithmetic Reasoning
    13 years 4 months ago
    Modal Logics, Description Logics and Arithmetic Reasoning
    Download  www.pms.ifi.lmu.de
    Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
    Hans Jürgen Ohlbach, Jana Koehler
    claim paper
    Read More »
    12345678next ›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.