Sciweavers

    JURIX
    2008
    126views Information Technology» more  JURIX 2008»
    Formal Aspects of Legislative Meta-Drafting
    13 years 5 months ago
    Formal Aspects of Legislative Meta-Drafting
    Download  www.ittig.cnr.it
    The paper presents a logic-based approach to legislative meta-drafting. A class of meta-data, corresponding to specific classes of legal provisions, is introduced and discussed. Su...
    Carlo Biagioli, Davide Grossi
    claim paper
    Read More »
    EON
    2008
    146views Internet Technology» more  EON 2008»
    Debugging OWL Ontologies - A Reality Check
    13 years 6 months ago
    Debugging OWL Ontologies - A Reality Check
    Download  sunsite.informatik.rwth-aachen.de
    One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
    Heiner Stuckenschmidt
    claim paper
    Read More »
    AMW
    2010
    120views Knowledge Management» more  AMW 2010»
    Updating ABoxes in DL-Lite
    13 years 6 months ago
    Updating ABoxes in DL-Lite
    Download  www.inf.unibz.it
    Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
    Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
    claim paper
    Read More »
    ESWS
    2010
    Springer
    161views Internet Technology» more  ESWS 2010»
    Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
    13 years 6 months ago
    Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
    Download  www.kr.tuwien.ac.at
    Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
    Jörg Pührer, Stijn Heymans, Thomas Eiter
    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
    120views Automated Reasoning» more  DLOG 2008»
    Identifying Objects Over Time with Description Logics
    13 years 6 months ago
    Identifying Objects Over Time with Description Logics
    Download  www.cs.uwaterloo.ca
    A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
    David Toman, Grant E. Weddell
    claim paper
    Read More »
    DLOG
    2007
    119views Automated Reasoning» more  DLOG 2007»
    On Ordering Descriptions in a Description Logic
    13 years 6 months ago
    On Ordering Descriptions in a Description Logic
    Download  www.cs.uwaterloo.ca
    We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
    Jeffrey Pound, Lubomir Stanchev, David Toman, Gran...
    claim paper
    Read More »
    DLOG
    2007
    138views Automated Reasoning» more  DLOG 2007»
    Deciding ALBO with Tableau
    13 years 6 months ago
    Deciding ALBO with Tableau
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
    Renate A. Schmidt, Dmitry Tishkovsky
    claim paper
    Read More »
    DLOG
    2007
    149views Automated Reasoning» more  DLOG 2007»
    Description Logic vs. Order-Sorted Feature Logic
    13 years 6 months ago
    Description Logic vs. Order-Sorted Feature Logic
    Download  sunsite.informatik.rwth-aachen.de
    We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
    Hassan Aït-Kaci
    claim paper
    Read More »
    AAAI
    2007
    101views Intelligent Agents» more  AAAI 2007»
    An Investigation into Computational Recognition of Children's Jokes
    13 years 6 months ago
    An Investigation into Computational Recognition of Children's Jokes
    Download  www.aaai.org
    bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
    Julia M. Taylor, Lawrence J. Mazlack
    claim paper
    Read More »
    « first‹ previous12345678next ›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.