Sciweavers

    383 search results - page 11 / 77
    » Well-Founded Semantics for Description Logic Programs in the...
    Sort
    View
    FUIN
    2008
    116views more  FUIN 2008»
    On the Relationship between Description Logic-based and F-Logic-based Ontologies
    13 years 7 months ago
    On the Relationship between Description Logic-based and F-Logic-based Ontologies
    Download  www.kr.tuwien.ac.at
    Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
    Jos de Bruijn, Stijn Heymans
    claim paper
    Read More »
    DLOG
    2003
    166views Automated Reasoning» more  DLOG 2003»
    Description Logic Systems
    13 years 9 months ago
    Description Logic Systems
    Download  www.racer-systems.com
    The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
    Ralf Möller, Volker Haarslev
    claim paper
    Read More »
    OWLED
    2007
    159views Natural Language Processing» more  OWLED 2007»
    Reasoning with OWL-DL in Inductive Logic Programming
    13 years 9 months ago
    Reasoning with OWL-DL in Inductive Logic Programming
    Download  webont.org
    The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
    Francesca A. Lisi
    claim paper
    Read More »
    SEMCO
    2008
    IEEE
    174views Applied Computing» more  SEMCO 2008»
    Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
    14 years 2 months ago
    Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web
    Download  www.cs.jyu.fi
    The agent-based approach is an effective one for building middleware interconnecting distributed heterogeneous resources and providing semantic interoperability among them. On the...
    Artem Katasonov, Vagan Y. Terziyan
    claim paper
    Read More »
    ENTCS
    2002
    83views more  ENTCS 2002»
    Operational Semantics for Functional Logic Languages
    13 years 7 months ago
    Operational Semantics for Functional Logic Languages
    Download  www.informatik.uni-kiel.de
    In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
    Elvira Albert, Michael Hanus, Frank Huch, Javier O...
    claim paper
    Read More »
    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.