메뉴 건너뛰기




Volumn 3809 LNAI, Issue , 2005, Pages 425-434

A controlled natural language layer for the semantic web

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INTELLIGENT AGENTS; KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; SEMANTICS; WORLD WIDE WEB;

EID: 33745635389     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_45     Document Type: Conference Paper
Times cited : (12)

References (17)
  • 1
    • 39349098118 scopus 로고
    • The theorem prover satchmo: Strategies, heuristics, and applications (system description)
    • May, Institute for Informatics, Ludwig Maximilians University, Munich, Germany
    • S. Abdennadher, F. Bry, N. Eisinger, T. Geisler. 1995. The Theorem Prover Satchmo: Strategies, Heuristics, and Applications (System Description). Research Report PMS-FB-1995-3, May, Institute for Informatics, Ludwig Maximilians University, Munich, Germany.
    • (1995) Research Report , vol.PMS-FB-1995-3
    • Abdennadher, S.1    Bry, F.2    Eisinger, N.3    Geisler, T.4
  • 4
    • 9344245589 scopus 로고    scopus 로고
    • RDF vocabulary description language 1.0: RDF schema
    • 10 February 2004
    • D. Brickley, R. V. Guha. 2004. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, 10 February 2004.
    • (2004) W3C Recommendation
    • Brickley, D.1    Guha, R.V.2
  • 6
    • 84947911308 scopus 로고    scopus 로고
    • Attempto controlled english - Not just another logic specification language
    • Springer
    • N. E. Fuchs, U. Schwertel, R. Schwitter. 1999. Attempto Controlled English - Not Just Another Logic Specification Language. Vol. 1559 of LNCS, Springer.
    • (1999) LNCS , vol.1559
    • Fuchs, N.E.1    Schwertel, U.2    Schwitter, R.3
  • 12
    • 85032870902 scopus 로고
    • Satchmo: A theorem prover implemented in prolog
    • E. Lusk and R. Overbeek, (eds.), vol. 310 of LNCS, Springer
    • R. Manthey and F. Bry. 1988. Satchmo: a theorem prover implemented in prolog. In: E. Lusk and R. Overbeek, (eds.), Proceedings of CADE-88, vol. 310 of LNCS, Springer, 415-434.
    • (1988) Proceedings of CADE-88 , pp. 415-434
    • Manthey, R.1    Bry, F.2
  • 15
    • 10044237363 scopus 로고    scopus 로고
    • ECOLE - A look-ahead editor for a controlled language
    • May 15-17, Dublin City University, Ireland
    • R. Schwitter, A. Ljungberg, D. Hood. 2003. ECOLE - A Look-ahead Editor for a Controlled Language. In: Controlled Translation, Proceedings of EAMT-CLAW03, May 15-17, Dublin City University, Ireland, pp. 141-150.
    • (2003) Controlled Translation, Proceedings of EAMT-CLAW03 , pp. 141-150
    • Schwitter, R.1    Ljungberg, A.2    Hood, D.3
  • 16
    • 33745612306 scopus 로고    scopus 로고
    • Controlled natural language meets the semantic web
    • A. Asudeh, C. Paris, S. Wan (eds.), Macquarie University
    • R. Schwitter and M. Tilbrook. 2004. Controlled Natural Language meets the Semantic Web. In: A. Asudeh, C. Paris, S. Wan (eds.), Proceedings of the Australasian Language Technology Workshop 2004, Macquarie University, pp. 55-62.
    • (2004) Proceedings of the Australasian Language Technology Workshop 2004 , pp. 55-62
    • Schwitter, R.1    Tilbrook, M.2


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