메뉴 건너뛰기




Volumn 4, Issue 1, 2006, Pages 33-48

Matchmaking framework for mathematical web services

Author keywords

Match plug ins; Match score; Matchmaking; Mathematical web services

Indexed keywords


EID: 33645788817     PISSN: 15707873     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10723-005-9019-z     Document Type: Article
Times cited : (16)

References (31)
  • 1
    • 33645780236 scopus 로고    scopus 로고
    • "Ganglia Monitoring System"
    • "Ganglia Monitoring System", http://ganglia.sourceforge.net/.
  • 5
    • 0342640435 scopus 로고
    • "An overview of the KL-ONE knowledge representation system"
    • R. Brachman and J. Schmolze, "An overview of the KL-ONE knowledge representation system", 1985.
    • (1985)
    • Brachman, R.1    Schmolze, J.2
  • 6
    • 33645780698 scopus 로고    scopus 로고
    • "Mathematical Service Description Language"
    • Technical Report Available from the MONET website
    • S. Buswell, O. Caprotti and M. Dewar, "Mathematical Service Description Language", Technical Report, 2003. Available from the MONET website: http://monet.nag.co.uk/cocoon/monet/publicdocs/ monet-msdl-final.pdf.
    • (2003)
    • Buswell, S.1    Caprotti, O.2    Dewar, M.3
  • 7
    • 35048862808 scopus 로고    scopus 로고
    • "Mathematics on the (Semantic) Net"
    • C. Bussler, J. Davies, D. Fensel, and R. Studer (eds.) of LNCS, Springer
    • O. Caprotti, M. Dewar, J. Davenport and J. Padget, "Mathematics on the (Semantic) Net", in C. Bussler, J. Davies, D. Fensel, and R. Studer (eds.), Proceedings of the European Symposium on the Semantic Web, Vol. 3053 of LNCS, Springer, pp. 213-224, 2004.
    • (2004) Proceedings of the European Symposium on the Semantic Web , vol.3053 , pp. 213-224
    • Caprotti, O.1    Dewar, M.2    Davenport, J.3    Padget, J.4
  • 8
    • 10444285611 scopus 로고    scopus 로고
    • "OWL-S: Semantic markup for web services"
    • Coalition
    • Coalition, "OWL-S: Semantic markup for web services", 2003.
    • (2003)
  • 10
    • 0003799302 scopus 로고
    • Technical report, Computer Science Department, Stanford University Available from
    • M. Genesereth and R. Fikes, "Knowledge interchange format, version 3.0 reference manual", Technical report, Computer Science Department, Stanford University, 1992. Available from http://www-ksl.stanford.edu/knowledge-sharing/papers/kif.ps.
    • (1992) "Knowledge Interchange Format, Version 3.0 Reference Manual"
    • Genesereth, M.1    Fikes, R.2
  • 13
    • 34248526573 scopus 로고    scopus 로고
    • "OWLJessKB"
    • J. Kopena, "OWLJessKB", 2004. http://edge.cs.drexel.edu/ assemblies/software/owljesskb/.
    • (2004)
    • Kopena, J.1
  • 14
    • 0030164761 scopus 로고    scopus 로고
    • "Integrating information via matchmaking"
    • D. Kuokka and L. Harada, "Integrating information via matchmaking", Intelligent Information Systems, Vol. 6, No. 2-3, pp. 261-279, 1996.
    • (1996) Intelligent Information Systems , vol.6 , Issue.2-3 , pp. 261-279
    • Kuokka, D.1    Harada, L.2
  • 15
    • 33645791703 scopus 로고    scopus 로고
    • "MONET Home Page"
    • MONET Consortium Available from
    • MONET Consortium, "MONET Home Page", 2002, Available from http://monet.nag.co.uk.
    • (2002)
  • 16
    • 33645757839 scopus 로고    scopus 로고
    • "Semantic matching for mathematical services"
    • W. Naylor and J. Padget, "Semantic matching for mathematical services", Lecture Notes in Computer Science, Vol. 3863, pp. 174-189, 2006.
    • (2006) Lecture Notes in Computer Science , vol.3863 , pp. 174-189
    • Naylor, W.1    Padget, J.2
  • 17
    • 0037253716 scopus 로고    scopus 로고
    • "Meta-stylesheets for the conversion of mathematical documents into multiple forms"
    • W. Naylor and S. Watt, "Meta-stylesheets for the conversion of mathematical documents into multiple forms", Annals of Mathematics and Artificial Intelligence, Vol. 38, No. 1-3, pp. 3-25, 2003.
    • (2003) Annals of Mathematics and Artificial Intelligence , vol.38 , Issue.1-3 , pp. 3-25
    • Naylor, W.1    Watt, S.2
  • 19
    • 0000546276 scopus 로고
    • "Some unsolvable problems involving elementary functions of a real variable"
    • D. Richardson, "Some unsolvable problems involving elementary functions of a real variable", Journal of Computational Logic, Vol. 33, pp. 514-520, 1968.
    • (1968) Journal of Computational Logic , vol.33 , pp. 514-520
    • Richardson, D.1
  • 21
    • 30544449402 scopus 로고    scopus 로고
    • "Ontology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues"
    • Lecture Notes in AI #1867, Springer, Berlin Heidelberg New York
    • J. Sowa, "Ontology, Metadata, and Semiotics, Conceptual Structures: Logical, Linguistic, and Computational Issues", Lecture Notes in AI #1867, Springer, Berlin Heidelberg New York pp. 55-81, 2000.
    • (2000) , pp. 55-81
    • Sowa, J.1
  • 23
    • 84867171584 scopus 로고    scopus 로고
    • "Triana applications within Grid computing and peer to peer environments"
    • I. Taylor, M. Shields, I. Wang and O. Rana, "Triana applications within Grid computing and peer to peer environments", Journal of Grid Computing, Vol. 1, pp. 199-217, 2003.
    • (2003) Journal of Grid Computing , vol.1 , pp. 199-217
    • Taylor, I.1    Shields, M.2    Wang, I.3    Rana, O.4
  • 24
    • 33645755011 scopus 로고    scopus 로고
    • "GENSS Home Page"
    • The GENSS Project Available from
    • The GENSS Project, "GENSS Home Page", 2004. Available from http://genss.cs.bath.ac.uk.
    • (2004)
  • 25
    • 33645757115 scopus 로고    scopus 로고
    • "The OpenMath Standard"
    • The OpenMath Society Available from
    • The OpenMath Society, "The OpenMath Standard", 2002. Available from http://www.openmath.org/standard/om11/omstd11.xml.
    • (2002)
  • 26
    • 24644460036 scopus 로고    scopus 로고
    • "The OpenMath Standard"
    • The OpenMath Society Available from
    • The OpenMath Society, "The OpenMath Standard", 2004. Available from http://www.openmath.org/cocoon/openmath/standard/om20/index.html.
    • (2004)
  • 27
    • 33645775797 scopus 로고    scopus 로고
    • "UDDI Technical White Paper"
    • UDDI Available from
    • UDDI, "UDDI Technical White Paper", 2003, Available from http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf.
    • (2003)
  • 29
    • 0348122120 scopus 로고    scopus 로고
    • "Mathematical Markup Language (MathML) Version 2.0"
    • W3C MathML Available from
    • W3C MathML, "Mathematical Markup Language (MathML) Version 2.0", 2003. Available from http://www.w3.org/TR/MathML2/.
    • (2003)
  • 30
    • 0003791651 scopus 로고    scopus 로고
    • "Web Services Description Language (WSDL) 1.1"
    • W3C WSDL Available from
    • W3C WSDL, "Web Services Description Language (WSDL) 1.1", 2004. Available from http://www.w3.org/TR/wsdl.
    • (2004)


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