Sciweavers

    DLOG
    2011
    268views Automated Reasoning» more  DLOG 2011»
    On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
    12 years 8 months ago
    On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
    Stefan Scheglmann, Carsten Saathoff, Steffen Staab
    claim paper
    Read More »
    DLOG
    2011
    232views Automated Reasoning» more  DLOG 2011»
    Repairing Incomplete Reasoners
    12 years 8 months ago
    Repairing Incomplete Reasoners
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
    Giorgos Stoilos, Bernardo Cuenca Grau
    claim paper
    Read More »
    DLOG
    2011
    262views Automated Reasoning» more  DLOG 2011»
    Dependencies to Optimize Ontology Based Data Access
    12 years 8 months ago
    Dependencies to Optimize Ontology Based Data Access
    Download  sunsite.informatik.rwth-aachen.de
    Query answering in Ontology Based Data Access (OBDA) exploits the knowledge of an ontology’s TBox to deal with incompleteness of the ABox (or data source). Current query-answerin...
    Mariano Rodriguez-Muro, Diego Calvanese
    claim paper
    Read More »
    DLOG
    2011
    276views Automated Reasoning» more  DLOG 2011»
    Correcting Access Restrictions to a Consequence More Flexibly
    12 years 8 months ago
    Correcting Access Restrictions to a Consequence More Flexibly
    Download  sunsite.informatik.rwth-aachen.de
    Recent research has shown that labeling ontologies can be useful for restricting the access to some of the axioms and their implicit consequences. However, the labeling of the axio...
    Eldora, Martin Knechtel, Rafael Peñaloza
    claim paper
    Read More »
    DLOG
    2011
    230views Automated Reasoning» more  DLOG 2011»
    Two-Dimensional Description Logics of Context
    12 years 8 months ago
    Two-Dimensional Description Logics of Context
    Download  sunsite.informatik.rwth-aachen.de
    We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
    Szymon Klarman, Víctor Gutiérrez-Bas...
    claim paper
    Read More »
    DLOG
    2011
    230views Automated Reasoning» more  DLOG 2011»
    Relaxed Abduction: Robust Information Interpretation for Incomplete Models
    12 years 8 months ago
    Relaxed Abduction: Robust Information Interpretation for Incomplete Models
    Download  sunsite.informatik.rwth-aachen.de
    This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
    Thomas Hubauer, Steffen Lamparter, Michael Pirker
    claim paper
    Read More »
    DLOG
    2011
    172views Automated Reasoning» more  DLOG 2011»
    On P/NP Dichotomies for EL Subsumption under Relational Constraints
    12 years 8 months ago
    On P/NP Dichotomies for EL Subsumption under Relational Constraints
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. We consider the problem of characterising relational constraints under which TBox reasoning in EL is tractable. We obtain P vs. coNP-hardness dichotomies for tabular cons...
    Agi Kurucz, Frank Wolter, Michael Zakharyaschev
    claim paper
    Read More »
    DLOG
    2011
    194views Automated Reasoning» more  DLOG 2011»
    Mapping Data to Higher-Order Description Logic Knowledge Bases
    12 years 8 months ago
    Mapping Data to Higher-Order Description Logic Knowledge Bases
    Download  sunsite.informatik.rwth-aachen.de
    Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
    claim paper
    Read More »
    CSL
    2011
    Springer
    239views Automated Reasoning» more  CSL 2011»
    Whodunnit - Searching for the most important feature types signalling emotion-related user states in speech
    12 years 8 months ago
    Whodunnit - Searching for the most important feature types signalling emotion-related user states in speech
    Download  www5.informatik.uni-erlangen.de
    Anton Batliner, Stefan Steidl, Björn Schuller...
    claim paper
    Read More »
    GPEM
    2010
    130views more  GPEM 2010»
    EvAg: a scalable peer-to-peer evolutionary algorithm
    12 years 11 months ago
    EvAg: a scalable peer-to-peer evolutionary algorithm
    Download  www.few.vu.nl
    Juan Luís Jiménez Laredo, A. E. Eibe...
    claim paper
    Read More »
    « first‹ previous…67891011121314…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.