메뉴 건너뛰기




Volumn 3323 LNCS, Issue , 2004, Pages 128-138

Bossam: An extended rule engine for OWL inferencing

Author keywords

[No Author keywords available]

Indexed keywords

OPTIMIZED PERFORMANCE; REASONING CAPABILITIES; RULE ENGINE; TEST CASE; EXTENDED FEATURES;

EID: 77249169943     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30504-0_10     Document Type: Conference Paper
Times cited : (73)

References (17)
  • 2
    • 84886308598 scopus 로고    scopus 로고
    • The FaCT System
    • Springer-Verlag, Berlin
    • Horrocks, I.: The FaCT System. LNAI, Vol. 1397. Springer-Verlag, Berlin (1998) 307-312
    • (1998) LNAI , vol.1397 , pp. 307-312
    • Horrocks, I.1
  • 5
    • 77249149006 scopus 로고    scopus 로고
    • Hawke, S.: Surnia (2003) http://www.w3.org/2003/08/surnia/
    • Hawke, S.: Surnia (2003) http://www.w3.org/2003/08/surnia/
  • 10
    • 0242308053 scopus 로고    scopus 로고
    • Kopena, J., Regli, W.: DAMLJessKB: A Tool for Reasoning with the Semantic Web, LNCS, 2870. Springer-Verlag, Berlin Heidelberg New York (2003) 628-643
    • Kopena, J., Regli, W.: DAMLJessKB: A Tool for Reasoning with the Semantic Web, LNCS, Vol. 2870. Springer-Verlag, Berlin Heidelberg New York (2003) 628-643
  • 11
    • 77249119403 scopus 로고    scopus 로고
    • Fikes, R., Frank, G., Jenkins, J.: JTP: A Query Answering System For Knowledge Represented in DAML. (2002)
    • Fikes, R., Frank, G., Jenkins, J.: JTP: A Query Answering System For Knowledge Represented in DAML. (2002)
  • 12
    • 84880493386 scopus 로고    scopus 로고
    • Description logic programs: Combining logic programs with description logic
    • Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In Proceedings of WWW2003. (2003) 48
    • (2003) Proceedings of WWW2003 , pp. 48
    • Grosof, B.1    Horrocks, I.2    Volz, R.3    Decker, S.4
  • 13
    • 0346264771 scopus 로고    scopus 로고
    • Web Rules Need Two Kinds of Negation
    • Springer-Verlag, Berlin Heidelberg New York
    • Wagner, G.: Web Rules Need Two Kinds of Negation. LNCS, Vol. 2901. Springer-Verlag, Berlin Heidelberg New York (2003) 33-50
    • (2003) LNCS , vol.2901 , pp. 33-50
    • Wagner, G.1
  • 14
    • 0347526071 scopus 로고    scopus 로고
    • Semantic Web Logic Programming Tools
    • Alferes, J., Damicio, C., Pereira, L.: Semantic Web Logic Programming Tools. LNCS 2901 (2003) 16-32
    • (2003) LNCS , vol.2901 , pp. 16-32
    • Alferes, J.1    Damicio, C.2    Pereira, L.3
  • 15
    • 77249090392 scopus 로고    scopus 로고
    • A Deliverable from IST Project 2001-33052 WonderWeb
    • Horrocks, I., Volz, R.: Rule Language. A Deliverable from IST Project 2001-33052 WonderWeb. (2003)
    • (2003) Rule Language
    • Horrocks, I.1    Volz, R.2
  • 17
    • 34547845001 scopus 로고    scopus 로고
    • Jos De Roo: OWL Web Ontology Language Test Cases
    • 10 February 2004 2004
    • Jeremy J. Carroll, Jos De Roo: OWL Web Ontology Language Test Cases. W3C Recommendation 10 February 2004 (2004) http://www.w3.org/TR/owl-test/
    • Recommendation , vol.W3C
    • Carroll, J.J.1


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