메뉴 건너뛰기




Volumn 4011 LNCS, Issue , 2006, Pages 590-604

The web service modeling language WSML: An overview

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA ACQUISITION; FORMAL LOGIC; LOGIC PROGRAMMING; XML;

EID: 33746068221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11762256_43     Document Type: Conference Paper
Times cited : (125)

References (18)
  • 2
    • 0003840045 scopus 로고    scopus 로고
    • P. V. Biron and A. Malhotra, editors
    • P. V. Biron and A. Malhotra, editors. XML Schema Part 2: Datatypes. 2004. http://www.w3.org/TR/xmlschema-2/.
    • (2004) XML Schema Part 2: Datatypes
  • 4
    • 33749044714 scopus 로고    scopus 로고
    • J. de Bruijn, editor. WSMO Final Draft D16.v0.21
    • J. de Bruijn, editor. The Web Service Modeling Language WSML. 2005. WSMO Final Draft D16.v0.21. http://www.wsmo.org/TR/d16/d16.1/v0.21/.
    • (2005) The Web Service Modeling Language WSML
  • 5
    • 33646180839 scopus 로고    scopus 로고
    • OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web
    • Chiba, Japan
    • J. de Bruijn, A. Polleres, R. Lara, and D. Fensel. OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web. In Proc. WWW200S, Chiba, Japan. 2005.
    • (2005) Proc. WWW200S
    • De Bruijn, J.1    Polleres, A.2    Lara, R.3    Fensel, D.4
  • 6
    • 21844480043 scopus 로고    scopus 로고
    • M. Dean and G. Schreiber, editors. W3C Recommendation 10 February 2004
    • M. Dean and G. Schreiber, editors. OWL Web Ontology Language Reference. 2004. W3C Recommendation 10 February 2004.
    • (2004) OWL Web Ontology Language Reference
  • 7
    • 77249122278 scopus 로고    scopus 로고
    • Combining answer set programming with description logics for the semantic web
    • T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proc. KR2004, 2004.
    • (2004) Proc. KR2004
    • Eiter, T.1    Lukasiewicz, T.2    Schindlauer, R.3    Tompits, H.4
  • 8
    • 84880493386 scopus 로고    scopus 로고
    • Description logic programs: Combining logic programs with description logic
    • Budapest, Hungary
    • B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In Proc. WWW2003, Budapest, Hungary, 2003.
    • (2003) Proc. WWW2003
    • Grosof, B.N.1    Horrocks, I.2    Volz, R.3    Decker, S.4
  • 12
    • 0029333530 scopus 로고
    • Logical foundations of object-oriented and frame-based languages
    • M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. JACM, 42(4):741-843, 1995.
    • (1995) JACM , vol.42 , Issue.4 , pp. 741-843
    • Kifer, M.1    Lausen, G.2    Wu, J.3
  • 15
    • 33947419495 scopus 로고    scopus 로고
    • Xquery 1.0 and xpath 2.0 functions and operators
    • W3C
    • A. Malhotra, J. Melon, and N. Walsh. Xquery 1.0 and xpath 2.0 functions and operators. Candidate Recommendation, W3C, 2005. http://www.w3.org/TR/xpath- functions/.
    • (2005) Candidate Recommendation
    • Malhotra, A.1    Melon, J.2    Walsh, N.3
  • 18
    • 33746036873 scopus 로고    scopus 로고
    • D L + log: Tight integration of description logics and disjunctive datalog
    • R. Rosati. D L + log: Tight integration of description logics and disjunctive datalog. In Proc. KR2006, 2006.
    • (2006) Proc. KR2006
    • Rosati, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.