Sciweavers

    DLOG
    2006
    118views Automated Reasoning» more  DLOG 2006»
    On the Scalability of Description Logic Instance Retrieval
    13 years 6 months ago
    On the Scalability of Description Logic Instance Retrieval
    Download  users.encs.concordia.ca
    Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
    Ralf Möller, Volker Haarslev, Michael Wessel
    claim paper
    Read More »
    DLOG
    2006
    119views Automated Reasoning» more  DLOG 2006»
    PSPACE Automata for Description Logics
    13 years 6 months ago
    PSPACE Automata for Description Logics
    Download  sunsite.informatik.rwth-aachen.de
    Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
    Jan Hladik, Rafael Peñaloza
    claim paper
    Read More »
    DLOG
    2004
    93views Automated Reasoning» more  DLOG 2004»
    Sonic: System Description
    13 years 6 months ago
    Sonic: System Description
    Download  lat.inf.tu-dresden.de
    Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
    Anni-Yasmin Turhan, Christian Kissig
    claim paper
    Read More »
    MEDINFO
    2007
    130views Healthcare» more  MEDINFO 2007»
    What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
    13 years 6 months ago
    What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems
    Download  www.cs.man.ac.uk
    Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
    Alan L. Rector
    claim paper
    Read More »
    MKWI
    2008
    190views Business» more  MKWI 2008»
    Partial Matchmaking for complex Product and Service Descriptions
    13 years 6 months ago
    Partial Matchmaking for complex Product and Service Descriptions
    Download  ibis.in.tum.de
    : Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
    Heiner Stuckenschmidt, Martin Kolb
    claim paper
    Read More »
    ISEMANTICS
    2010
    147views Machine Learning» more  ISEMANTICS 2010»
    Issues in expressing metadata application profiles with description logics and OWL 2
    13 years 6 months ago
    Issues in expressing metadata application profiles with description logics and OWL 2
    Download  www.hpclab.ceid.upatras.gr
    This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
    Dimitrios A. Koutsomitropoulos, Georgia D. Solomou
    claim paper
    Read More »
    DLOG
    2008
    98views Automated Reasoning» more  DLOG 2008»
    Rewriting Rules into SROIQ Axioms
    13 years 6 months ago
    Rewriting Rules into SROIQ Axioms
    Download  sunsite.informatik.rwth-aachen.de
    Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
    Francis Gasse, Ulrike Sattler, Volker Haarslev
    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
    140views Automated Reasoning» more  DLOG 2008»
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
    13 years 6 months ago
    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
    Download  sunsite.informatik.rwth-aachen.de
    Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
    Andrea Calì, Georg Gottlob, Michael Kifer
    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.