메뉴 건너뛰기




Volumn 4806 LNCS, Issue PART 2, 2007, Pages 1312-1318

Fuzzy-DL reasoning over unknown fuzzy degrees

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE EXTRACTION; LOGIC PROGRAMMING; METADATA; QUERY PROCESSING; SEMANTICS;

EID: 38349014253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76890-6_59     Document Type: Conference Paper
Times cited : (24)

References (13)
  • 1
    • 0142131356 scopus 로고    scopus 로고
    • OWL web ontology language
    • Technical report, World Wide Web Consortium February, W3C Candidate Recommendation
    • Smith, M.K., Welty, C, McGuinness, D.L.: OWL web ontology language. Technical report, World Wide Web Consortium (February 2004) W3C Candidate Recommendation, http://www.w3.org/TR/owl-guide/
    • (2004)
    • Smith, M.K.1    Welty, C.2    McGuinness, D.L.3
  • 4
    • 0038167068 scopus 로고    scopus 로고
    • A model of multimedia information retrieval
    • Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM 48(5), 909-970 (2001)
    • (2001) Journal of the ACM , vol.48 , Issue.5 , pp. 909-970
    • Meghini, C.1    Sebastiani, F.2    Straccia, U.3
  • 10
    • 84918983692 scopus 로고
    • A machine-oriented logic based on the resolution principle
    • Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1), 23-41 (1965)
    • (1965) Journal of the ACM , vol.12 , Issue.1 , pp. 23-41
    • Robinson, J.A.1
  • 11
    • 0029695436 scopus 로고    scopus 로고
    • Tabled evaluation with delaying for general logic programs
    • Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM 43, 20-74 (1996)
    • (1996) Journal of the ACM , vol.43 , pp. 20-74
    • Chen, W.1    Warren, D.S.2
  • 12
    • 38349074016 scopus 로고    scopus 로고
    • Hustadt, U., Motik, B., Sattler, U.: Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, Forschungszentrum Informatik, Karlsruhe (2004)
    • Hustadt, U., Motik, B., Sattler, U.: Reasoning for description logics around SHIQ in a resolution framework. Technical Report 3-8-04/04, Forschungszentrum Informatik, Karlsruhe (2004)
  • 13
    • 38349048209 scopus 로고    scopus 로고
    • Holzbaur, C.: OFAI clp(Q,R) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna (1995)
    • Holzbaur, C.: OFAI clp(Q,R) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Artificial Intelligence, Vienna (1995)


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