메뉴 건너뛰기




Volumn 5330 LNAI, Issue , 2008, Pages 391-405

Role conjunctions in expressive description logics

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGICS; ROLE HIERARCHIES; STANDARD REASONINGS; SUBTLE INTERACTIONS;

EID: 58049112241     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89439-1_28     Document Type: Conference Paper
Times cited : (10)

References (14)
  • 1
    • 0003727420 scopus 로고    scopus 로고
    • Baader, F, Calvanese, D, McGuinness, D.L, Nardi, D, Patel-Schneider, P.F, eds, Cambridge University Press, Cambridge
    • Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
    • (2003) The Description Logic Handbook
  • 4
    • 32244440302 scopus 로고    scopus 로고
    • 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection
    • Lange, M., Lutz, C: 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection. J. of Symbolic Logic 70(5), 1072-1086 (2005)
    • (2005) J. of Symbolic Logic , vol.70 , Issue.5 , pp. 1072-1086
    • Lange, M.1    Lutz, C.2
  • 5
    • 58049123148 scopus 로고    scopus 로고
    • Glimm, B., Kazakov, Y.: Role conjunctions in expressive description logics. Technical report, University of Oxford (2008), http://www.comlab.oxford. ac.uk//files/361/RoleConjunctions.pdf
    • Glimm, B., Kazakov, Y.: Role conjunctions in expressive description logics. Technical report, University of Oxford (2008), http://www.comlab.oxford. ac.uk//files/361/RoleConjunctions.pdf
  • 8
    • 40849118430 scopus 로고    scopus 로고
    • A resolution-based decision procedure for SHOIQ
    • Kazakov, Y., Motik, B.: A resolution-based decision procedure for SHOIQ. J. of Automated Reasoning 40(2-3), 89-116 (2008)
    • (2008) J. of Automated Reasoning , vol.40 , Issue.2-3 , pp. 89-116
    • Kazakov, Y.1    Motik, B.2
  • 12
    • 14344269579 scopus 로고    scopus 로고
    • The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
    • Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Artificial Intelligence Research 12 (2000)
    • (2000) J. of Artificial Intelligence Research , vol.12
    • Tobies, S.1
  • 13
    • 58049107154 scopus 로고    scopus 로고
    • Börger, E., Grädel, E., Gurevich, Y.: The classical decision problem. J. of Logic, Language and Information 8(4), 478-481 (1999)
    • Börger, E., Grädel, E., Gurevich, Y.: The classical decision problem. J. of Logic, Language and Information 8(4), 478-481 (1999)


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