메뉴 건너뛰기




Volumn 3762 LNCS, Issue , 2005, Pages 720-729

Fact calculus: Using ORM and Lisa-D to reason about domains

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; MATHEMATICAL TECHNIQUES; NATURAL LANGUAGE PROCESSING SYSTEMS; SPECIFICATIONS;

EID: 33646711035     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575863_91     Document Type: Conference Paper
Times cited : (8)

References (12)
  • 1
    • 84899868211 scopus 로고    scopus 로고
    • ConQuer: A conceptual query language
    • B. Thalheim, ed., Proc. of the 15th Intl Conference on Conceptual Modeling (ER'96), Cottbus, Germany, EU
    • A.C. Bloesch and T.A. Halpin. ConQuer: A Conceptual Query Language. In B. Thalheim, ed., Proc. of the 15th Intl Conference on Conceptual Modeling (ER'96), volume 1157 of LNCS, pages 121-133, Cottbus, Germany, EU, 1996.
    • (1996) LNCS , vol.1157 , pp. 121-133
    • Bloesch, A.C.1    Halpin, T.A.2
  • 6
    • 0000825541 scopus 로고
    • Formal definition of a conceptual language for the description and manipulation of information models
    • October
    • A.H.M. ter Hofstede, H.A. (Erik) Proper, and Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models. Information Systems, 18(7):489-523, October 1993.
    • (1993) Information Systems , vol.18 , Issue.7 , pp. 489-523
    • Ter Hofstede, A.H.M.1    Proper, H.A.2    Van Der Weide, Th.P.3
  • 7
    • 4744355739 scopus 로고    scopus 로고
    • PhD thesis, Tilburg University, Tilburg, The Netherlands, EU, 1997. ISBN 90-5668-027-7
    • J.J.A.C. Hoppenbrouwers. Conceptual Modeling and the Lexicon. PhD thesis, Tilburg University, Tilburg, The Netherlands, EU, 1997. ISBN 90-5668-027-7
    • Conceptual Modeling and the Lexicon
    • Hoppenbrouwers, J.J.A.C.1
  • 9
    • 0043104003 scopus 로고
    • International Centre for Information Analysis Services, Control Data Belgium, Inc., Brussels, Belgium
    • R. Meersman. The RIDL Conceptual Language. International Centre for Information Analysis Services, Control Data Belgium, Inc., Brussels, Belgium, 1982.
    • (1982) The RIDL Conceptual Language
    • Meersman, R.1
  • 10
    • 55549089464 scopus 로고    scopus 로고
    • R.G. Ross, editor. Business Rules Group, November. Version 2.0
    • R.G. Ross, editor. Business Rules Manifesto. Business Rules Group, November 2003. Version 2.0. http://www.businessrulesgroup.org/brmanifesto.htm
    • (2003) Business Rules Manifesto


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