메뉴 건너뛰기




Volumn , Issue , 2007, Pages 460-464

RDF and logic: Reasoning and extension

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA DESCRIPTION; DECISION SUPPORT SYSTEMS; EXPERT SYSTEMS; ONTOLOGY; PROBLEM SOLVING; TECHNICAL PRESENTATIONS;

EID: 47849092545     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2007.8     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 1
    • 0003727420 scopus 로고    scopus 로고
    • F. Baader et al, editors, Cambridge University Press
    • F. Baader et al., editors. The Description Logic Handbook. Cambridge University Press, 2003.
    • (2003) The Description Logic Handbook
  • 3
    • 0038062314 scopus 로고    scopus 로고
    • Complexity and expressive power of logic programming
    • September
    • E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. ACM Comp. Surv., 33(3):374-425, September 2001.
    • (2001) ACM Comp. Surv , vol.33 , Issue.3 , pp. 374-425
    • Dantsin, E.1    Eiter, T.2    Gottlob, G.3    Voronkov, A.4
  • 5
    • 38949133360 scopus 로고    scopus 로고
    • Translating ontologies from predicate-based to frame-based languages
    • J. de Bruijn and S. Heymans. Translating ontologies from predicate-based to frame-based languages. In RuleML-2006.
    • RuleML-2006
    • de Bruijn, J.1    Heymans, S.2
  • 8
    • 33846507886 scopus 로고    scopus 로고
    • RDF semantics
    • 10 February
    • P. Hayes. RDF semantics. W3C Recommendation, 10 February 2004.
    • (2004) Recommendation , vol.W3C
    • Hayes, P.1
  • 10
    • 25144506699 scopus 로고    scopus 로고
    • Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary
    • H. J. ter Horst. Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Sem., 3(2-3):79-115, 2005.
    • (2005) J. Web Sem , vol.3 , Issue.2-3 , pp. 79-115
    • ter Horst, H.J.1
  • 11
    • 0029333530 scopus 로고
    • Logical foundations of object-oriented and frame-based languages
    • M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. JACM, 42(4):741-843, 1995.
    • (1995) JACM , vol.42 , Issue.4 , pp. 741-843
    • Kifer, M.1    Lausen, G.2    Wu, J.3


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