메뉴 건너뛰기




Volumn 2870, Issue , 2003, Pages 882-896

A semantic infosphere

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION;

EID: 0242276168     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39718-2_56     Document Type: Article
Times cited : (21)

References (14)
  • 1
    • 0003727420 scopus 로고    scopus 로고
    • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. Cambridge University Press
    • Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
    • (2002) The Description Logic Handbook: Theory, Implementation and Applications
  • 4
    • 84886280180 scopus 로고    scopus 로고
    • Practical reasoning for expressive description logics
    • Proc. of LPAR'99, number 1705 Springer
    • Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161-180. Springer, 1999.
    • (1999) LNAI , pp. 161-180
    • Horrocks, I.1    Sattler, U.2    Tobies, S.3
  • 8
    • 84974727353 scopus 로고    scopus 로고
    • OilEd: A Reasonable ontology editor for the semantic web
    • Proc. of KI 2001, number 2174 Springer
    • Scan Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: A Reasonable ontology editor for the semantic web. In Proc. of KI 2001, number 2174 in LNAI, pages 396-408. Springer, 2001.
    • (2001) LNAI , pp. 396-408
    • Bechhofer, S.1    Horrocks, I.2    Goble, C.3    Stevens, R.4
  • 10
    • 0001473852 scopus 로고    scopus 로고
    • Using an expressive description logic: FaCT or fiction?
    • Ian Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. KR'98, pages 636-647, 1998.
    • (1998) Proc. KR'98 , pp. 636-647
    • Horrocks, I.1
  • 14
    • 84880874673 scopus 로고    scopus 로고
    • Ontology reasoning in the SHOQ(D) description logic
    • Ian Horrocks and Ulrike Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proc. of IJCAI 2001, pages 199-204, 2001.
    • (2001) Proc. of IJCAI 2001 , pp. 199-204
    • Horrocks, I.1    Sattler, U.2


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