메뉴 건너뛰기




Volumn 6826 LNCS, Issue , 2011, Pages 194-211

A RIF-style semantics for RuleML-integrated positional-slotted, object-applicative rules

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84894416860     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22546-8_16     Document Type: Conference Paper
Times cited : (28)

References (14)
  • 1
    • 0040861983 scopus 로고
    • An introduction to LIFE: Programming with logic, inheritance, functions, and equations
    • Miller, D. (ed.) Vancouver, B.C., Canada MIT Press, Cambridge October
    • Aït-Kaci, H.: An Introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. In: Miller, D. (ed.) Proceedings of the 1993 International Symposium on Logic Programming, Vancouver, B.C., Canada, pp. 52-68. MIT Press, Cambridge (October 1993)
    • (1993) Proceedings of the 1993 International Symposium on Logic Programming , pp. 52-68
    • Aït-Kaci, H.1
  • 2
    • 77957013131 scopus 로고    scopus 로고
    • A guide to the basic logic dialect for rule interchange on the web
    • Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering 22(11), 1593-1608 (2010)
    • (2010) IEEE Transactions on Knowledge and Data Engineering , vol.22 , Issue.11 , pp. 1593-1608
    • Boley, H.1    Kifer, M.2
  • 5
    • 84858648203 scopus 로고    scopus 로고
    • Integrating positional and slotted knowledge on the semantic web
    • Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343-353 (2010), http://ojs.academypublisher.com/index.php/jetwi/article/view/0204343353
    • (2010) Journal of Emerging Technologies in Web Intelligence , vol.4 , Issue.2 , pp. 343-353
    • Boley, H.1
  • 6
    • 78449262696 scopus 로고    scopus 로고
    • RuleML 1.0: The overarching specification of web rules
    • Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) LNCS Springer, Heidelberg
    • Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, Vol. 6403, pp. 162-178. Springer, Heidelberg (2010)
    • (2010) RuleML 2010 , vol.6403 , pp. 162-178
    • Boley, H.1    Paschke, A.2    Shafiq, O.3
  • 7
    • 0000733226 scopus 로고
    • HiLog: A foundation for higher-order logic programming
    • Chen, W., Kifer, M., Warren, D.S.: HiLog: A Foundation for Higher-Order Logic Programming. Journal of Logic Programming 15(3), 187-230 (1993)
    • (1993) Journal of Logic Programming , vol.15 , Issue.3 , pp. 187-230
    • Chen, W.1    Kifer, M.2    Warren, D.S.3
  • 10
    • 0029333530 scopus 로고
    • Logical foundations of object-oriented and frame-based languages
    • Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM 42, 741-843 (1995)
    • (1995) Journal of ACM , vol.42 , pp. 741-843
    • Kifer, M.1    Lausen, G.2    Wu, J.3
  • 13
    • 0242371012 scopus 로고    scopus 로고
    • Reasoning about anonymous resources and meta statements on the semantic web
    • Spaccapietra, S., March, S.T., Aberer, K. (eds.) LNCS Springer, Heidelberg
    • Yang, G., Kifer, M.: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. In: Spaccapietra, S., March, S.T., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, Vol. 2800, pp. 69-97. Springer, Heidelberg (2003)
    • (2003) Journal on Data Semantics I , vol.2800 , pp. 69-97
    • Yang, G.1    Kifer, M.2
  • 14
    • 0242460388 scopus 로고    scopus 로고
    • FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web
    • Chung, S., Schmidt, D.C. (eds.) LNCS Springer, Heidelberg
    • Yang, G., Kifer, M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, Vol. 2888, pp. 671-688. Springer, Heidelberg (2003)
    • (2003) CoopIS 2003, DOA 2003, and ODBASE 2003 , vol.2888 , pp. 671-688
    • Yang, G.1    Kifer, M.2    Zhao, C.3


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