Sciweavers

    ICWS
    2003
    IEEE
    169views Internet Technology» more  ICWS 2003»
    Adding Semantics to Web Services Standards
    13 years 6 months ago
    Adding Semantics to Web Services Standards
    Download  lsdis.cs.uga.edu
    With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services wher...
    Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth...
    claim paper
    Read More »
    DLOG
    2003
    105views Automated Reasoning» more  DLOG 2003»
    RDFS(FA): A DL-ised Sub-language of RDFS
    13 years 6 months ago
    RDFS(FA): A DL-ised Sub-language of RDFS
    Download  www.comlab.ox.ac.uk
    Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
    Jeff Z. Pan, Ian Horrocks
    claim paper
    Read More »
    FLAIRS
    2006
    92views Artificial Intelligence» more  FLAIRS 2006»
    A Note on Comparing Semantics for Conditionals
    13 years 6 months ago
    A Note on Comparing Semantics for Conditionals
    Download  www.aaai.org
    In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
    Christoph Beierle, Gabriele Kern-Isberner
    claim paper
    Read More »
    EPK
    2006
    107views Management» more  EPK 2006»
    Towards EPC Semantics based on State and Context
    13 years 6 months ago
    Towards EPC Semantics based on State and Context
    Download  sunsite.informatik.rwth-aachen.de
    : The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
    Jan Mendling, Wil M. P. van der Aalst
    claim paper
    Read More »
    DAGSTUHL
    2006
    116views Software Engineering» more  DAGSTUHL 2006»
    System model for UML -- The interactions case
    13 years 6 months ago
    System model for UML -- The interactions case
    Download  drops.dagstuhl.de
    Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
    María Victoria Cengarle
    claim paper
    Read More »
    COMMA
    2006
    190views Applied Computing» more  COMMA 2006»
    Combining sceptical epistemic reasoning with credulous practical reasoning
    13 years 6 months ago
    Combining sceptical epistemic reasoning with credulous practical reasoning
    Download  www.cs.uu.nl
    Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
    Henry Prakken
    claim paper
    Read More »
    CLIMA
    2004
    109views Intelligent Agents» more  CLIMA 2004»
    Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
    13 years 6 months ago
    Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
    Download  ii.fmph.uniba.sk
    Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
    Martin Homola
    claim paper
    Read More »
    BXML
    2004
    136views Software Engineering» more  BXML 2004»
    Ontology-derived Activity Components for Composing Travel Web Services
    13 years 6 months ago
    Ontology-derived Activity Components for Composing Travel Web Services
    Download  www.srdc.metu.edu.tr
    : In this paper we present our ongoing work in creating a semantic Web service composition and execution framework. The efforts described are undertaken in the context of the SATIN...
    Matthias Flügge, Diana Tourtchaninova
    claim paper
    Read More »
    SEMWIKI
    2008
    150views Data Mining» more  SEMWIKI 2008»
    Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
    13 years 6 months ago
    Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
    Download  kwarc.info
    Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
    Christoph Lange 0002
    claim paper
    Read More »
    MEDINFO
    2007
    113views Healthcare» more  MEDINFO 2007»
    Semantic Issues in Integrating Data from Different Models to Achieve Data Interoperability
    13 years 6 months ago
    Semantic Issues in Integrating Data from Different Models to Achieve Data Interoperability
    Download  www.openehr.org
    Matching clinical data to codes in controlled terminologies is the first step towards achieving standardisation of data for safe and accurate data interoperability. The MoST autom...
    Rahil Qamar, Alan Rector
    claim paper
    Read More »
    « first‹ previous…121314151617181920…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.