메뉴 건너뛰기




Volumn 2, Issue , 2009, Pages 449-452

A semantic web service description language

Author keywords

Description logic; Semantic web services; WSDL4S; WSDM4S

Indexed keywords

AUTOMATION SOFTWARE; DESCRIPTION LOGIC; DESCRIPTION MODEL; FORMAL DESCRIPTION; SEMANTIC DESCRIPTIONS; SEMANTIC UNITS; SEMANTIC WEB SERVICE TECHNOLOGIES; SOFTWARE DEVELOPMENT; WSDL4S; WSDM4S;

EID: 70449466759     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIE.2009.205     Document Type: Conference Paper
Times cited : (12)

References (8)
  • 5
    • 34548272754 scopus 로고    scopus 로고
    • An overview of tableau algorithms for description logics
    • F. Baader and U. Sattler. "An overview of tableau algorithms for description logics". Studia Logica, 2001, pp. 5-40.
    • (2001) Studia Logica , pp. 5-40
    • Baader, F.1    Sattler, U.2


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