메뉴 건너뛰기




Volumn 28, Issue 4, 2005, Pages 603-614

Dynamic discovery for semantic web services based on evolving distributed ontologies

Author keywords

Description logic; Distributed description logic; Ontology; Semantic Web services; Services discovery

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; INFORMATION ANALYSIS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; QUALITY OF SERVICE; SEMANTICS;

EID: 18744403017     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (11)

References (39)
  • 1
    • 3042585572 scopus 로고    scopus 로고
    • The next step in web services
    • Curbera F. et al.. The next step in web services. Communications of The ACM, 2003, 46(10): 29-34
    • (2003) Communications of The ACM , vol.46 , Issue.10 , pp. 29-34
    • Curbera, F.1
  • 3
    • 18744408552 scopus 로고    scopus 로고
    • UDDI Version 2: 03 data structure reference
    • OASIS Publications
    • Bellwood T. et al.. UDDI Version 2. 03 data structure reference. UDDI Committee Specification, OASIS Publications, 2002
    • (2002) UDDI Committee Specification
    • Bellwood, T.1
  • 7
    • 18744411917 scopus 로고    scopus 로고
    • Web services architecture usage scenarios
    • W3C Working Group
    • Haas H., Orchard D.. Web services architecture usage scenarios. W3C Working Group, 2002
    • (2002)
    • Haas, H.1    Orchard, D.2
  • 12
  • 15
    • 0035267850 scopus 로고    scopus 로고
    • Agents and the semantic Web
    • Hendler J.. Agents and the semantic Web. IEEE Intelligent Systems, 2001, 16(2): 30-37
    • (2001) IEEE Intelligent Systems , vol.16 , Issue.2 , pp. 30-37
    • Hendler, J.1
  • 17
    • 0344303396 scopus 로고    scopus 로고
    • Conceptual modeling for distributed ontology environments
    • Darmstadt, Germany
    • McGuinness D.. Conceptual modeling for distributed ontology environments. In: Proceedings of the ICCS 2000, Darmstadt, Germany, 2000, 82-89
    • (2000) Proceedings of the ICCS 2000 , pp. 82-89
    • McGuinness, D.1
  • 21
    • 0242308061 scopus 로고    scopus 로고
    • Distributed description logics: Assimilating information from peer sources
    • Lecture Notes of Computer Science 2800, Springer
    • Borgida A., Serafini L.. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics, Lecture Notes of Computer Science 2800, Springer, 2003, 1: 153-184
    • (2003) Journal of Data Semantics , vol.1 , pp. 153-184
    • Borgida, A.1    Serafini, L.2
  • 22
    • 0003727420 scopus 로고    scopus 로고
    • The description logic handbook: Theory, implementation and applications
    • Cambridge University Press, Cambridge
    • Baader F., Calvanese D., McGuinness D. et al.. The description logic handbook: Theory, implementation and applications [Ph. D. dissertation]. Cambridge University Press, Cambridge, 2003
    • (2003)
    • Baader, F.1    Calvanese, D.2    McGuinness, D.3
  • 28
    • 0035739327 scopus 로고    scopus 로고
    • Implementing prioritized logic programming
    • Zhang Y., Wu C. M., Bai Y.. Implementing prioritized logic programming. AI Communications, 2001, 14(4): 183-196
    • (2001) AI Communications , vol.14 , Issue.4 , pp. 183-196
    • Zhang, Y.1    Wu, C.M.2    Bai, Y.3
  • 29
    • 77951505493 scopus 로고
    • Classical negation in logic programs and disjunctive database
    • Gelfond M., Iifschitz V.. Classical negation in logic programs and disjunctive database. New Generation Computing, 1991, 9: 365-386
    • (1991) New Generation Computing , vol.9 , pp. 365-386
    • Gelfond, M.1    Iifschitz, V.2
  • 30
    • 84880493386 scopus 로고    scopus 로고
    • Description logic programs: Combining logic programs with description logic
    • Budapest, Hungary
    • Grosof B. N., Horrocks I.. Description logic programs: Combining logic programs with description logic. In: Proceedings of WWW2003, Budapest, Hungary, 2003, 48-57
    • (2003) Proceedings of WWW2003 , pp. 48-57
    • Grosof, B.N.1    Horrocks, I.2
  • 32
    • 0003333139 scopus 로고    scopus 로고
    • Towards expressive KR systems integrating data log and description logics: Preliminary report
    • Linkoping, Sweden
    • Rosati R.. Towards Expressive KR Systems integrating Data log and description logics: preliminary report. In: Proceedings of DL'99, Linkoping, Sweden, 1999, 160-164
    • (1999) Proceedings of DL'99 , pp. 160-164
    • Rosati, R.1
  • 33
    • 18744389241 scopus 로고    scopus 로고
    • Optimizing query answering in description logics using disjunctive deductive databases
    • Hamberg, German
    • Motik B., Volz R., Maedche A.. Optimizing query answering in description logics using disjunctive deductive databases. In: Proceedings of KRDB'03, Hamberg, German, 2003, 39-50
    • (2003) Proceedings of KRDB'03 , pp. 39-50
    • Motik, B.1    Volz, R.2    Maedche, A.3
  • 34
    • 34548096991 scopus 로고    scopus 로고
    • Integrating semantic web reasoning and answer set programming
    • de Vos M. and Provetti A. (ed.), Messina, Italy, CEUR Publications
    • Heymans S., Vermeir D.. Integrating semantic web reasoning and answer set programming. In: Marina De Vos, Alessandro Provetti eds.. Answer Set Programming: Advances in Theory and Implementation (ASP03), Messina, Italy, CEUR Publications, 2003, 78: 194-208
    • (2003) Answer Set Programming: Advances in Theory and Implementation (ASP03) , vol.78 , pp. 194-208
    • Heymans, S.1    Vermeir, D.2
  • 39
    • 84867299289 scopus 로고    scopus 로고
    • A defeasible ontology language
    • Meersman R. and Tari Z., Lecture Notes in Computer Science 2519, German: Springer Verlag
    • Heymans S., Verneir D.. A defeasible ontology language. In: Robert Meersman, Zahir Tari et al. eds,. Confederated International Conferences: CoopIS, DOA and ODBASE 2002, Lecture Notes in Computer Science 2519, German: Springer Verlag, 2002, 1033-1046
    • (2002) Confederated International Conferences: CoopIS, DOA and ODBASE 2002 , pp. 1033-1046
    • Heymans, S.1    Verneir, D.2


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