Sciweavers

    IJCAI
    2003
    94views Artificial Intelligence» more  IJCAI 2003»
    Terminological Cycles in a Description Logic with Existential Restrictions
    13 years 6 months ago
    Terminological Cycles in a Description Logic with Existential Restrictions
    Download  dli.iiit.ac.in
    Cyclic definitions in description logics have until now been investigated only for description logics allowing for value restrictions. Even for the most basic language which allow...
    Franz Baader
    claim paper
    Read More »
    DLOG
    2003
    125views Automated Reasoning» more  DLOG 2003»
    Relationships with other Formalisms
    13 years 6 months ago
    Relationships with other Formalisms
    Download  teacode.com
    In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
    Ulrike Sattler, Diego Calvanese, Ralf Molitor
    claim paper
    Read More »
    DLOG
    2003
    140views Automated Reasoning» more  DLOG 2003»
    Status Report on Description Logics related Project in Korea
    13 years 6 months ago
    Status Report on Description Logics related Project in Korea
    Download  sunsite.informatik.rwth-aachen.de
    In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
    Shinyoung Lim
    claim paper
    Read More »
    DLOG
    2003
    106views Automated Reasoning» more  DLOG 2003»
    Extensions to Description Logics
    13 years 6 months ago
    Extensions to Description Logics
    Download  www.inf.unibz.it
    This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
    Franz Baader, Ralf Küsters, Frank Wolter
    claim paper
    Read More »
    DLOG
    2003
    160views Automated Reasoning» more  DLOG 2003»
    Expressive Description Logics
    13 years 6 months ago
    Expressive Description Logics
    Download  www.inf.unibz.it
    This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
    Diego Calvanese, Giuseppe De Giacomo
    claim paper
    Read More »
    DLOG
    2003
    119views Automated Reasoning» more  DLOG 2003»
    Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
    13 years 6 months ago
    Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
    Download  SunSITE.Informatik.RWTH-Aachen.de
    In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
    Franz Baader
    claim paper
    Read More »
    DLOG
    2003
    141views Automated Reasoning» more  DLOG 2003»
    Fixpoint Extensions of Temporal Description Logics
    13 years 6 months ago
    Fixpoint Extensions of Temporal Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
    Enrico Franconi, David Toman
    claim paper
    Read More »
    DLOG
    2001
    113views Automated Reasoning» more  DLOG 2001»
    Preserving Modularity in XML Encoding of Description Logics
    13 years 6 months ago
    Preserving Modularity in XML Encoding of Description Logics
    Download  www.inf.unibz.it
    Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
    Jérôme Euzenat
    claim paper
    Read More »
    FLAIRS
    2006
    137views Artificial Intelligence» more  FLAIRS 2006»
    Uncertainty Reasoning in Description Logics: A Generic Approach
    13 years 6 months ago
    Uncertainty Reasoning in Description Logics: A Generic Approach
    Download  www.aaai.org
    Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
    Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
    claim paper
    Read More »
    DLOG
    2006
    118views Automated Reasoning» more  DLOG 2006»
    Euclidian Roles in Description Logics
    13 years 6 months ago
    Euclidian Roles in Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    In the current paper we investigate the role of Euclidian roles in Description Logics.
    Giorgos Stoilos, Giorgos B. Stamou
    claim paper
    Read More »
    « first‹ previous123456789next ›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.