메뉴 건너뛰기




Volumn , Issue , 2003, Pages 99-119

Ontologies : A contribution to the DL/DB debate

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; DATABASE SYSTEMS; INFORMATION MANAGEMENT; INFORMATION SERVICES; KNOWLEDGE REPRESENTATION; ONTOLOGY;

EID: 84870238452     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (25)

References (23)
  • 1
    • 2542621748 scopus 로고    scopus 로고
    • Ontologies and databases: More than a fleeting resemblance
    • Meersman, R.: Ontologies and Databases: More than a Fleeting Resemblance. In: OES/SEO Workshop Rome. (2001)
    • (2001) OES/SEO Workshop Rome
    • Meersman, R.1
  • 2
    • 84867309745 scopus 로고    scopus 로고
    • Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS
    • Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In Meersman, R., Tari, Z., et al., eds.: CooPIS/DOA/ODBASE, Springer-Verlag, LNCS 2519 (2002) 1238-1254
    • (2002) Formal Ontology Engineering in the DOGMA Approach , vol.2519 , pp. 1238-1254
    • Jarrar, M.1    Meersman, R.2
  • 4
    • 84883758407 scopus 로고    scopus 로고
    • Jensen C., et al., eds.: EDBT 2002, Springer-Verlag, LNCS 2287
    • Horrocks, I.: DAML+OIL: A reason-Able Web Ontology Language. In Jensen, C., et al., eds.: EDBT 2002, Springer-Verlag, LNCS 2287 (2002) 2-13
    • (2002) DAML+OIL: A Reason-Able Web Ontology Language , pp. 2-13
    • Horrocks, I.1
  • 6
    • 84872224227 scopus 로고    scopus 로고
    • Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
    • Borgida, A., Brachman, R.J.: Conceptual Modelling with Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 349-372
    • (2002) Conceptual Modelling with Description Logics , pp. 349-372
    • Borgida, A.1    Brachman, R.J.2
  • 7
    • 33645589793 scopus 로고    scopus 로고
    • Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
    • Borgida, A., Lenzerini, M., Rosati, R.: Description Logics for Databases. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 462-484
    • (2002) Description Logics for Databases , pp. 462-484
    • Borgida, A.1    Lenzerini, M.2    Rosati, R.3
  • 8
    • 84872953232 scopus 로고    scopus 로고
    • Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
    • Calvanese, D., Giacomo, G.: Expressive Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 178-218
    • (2002) Expressive Description Logics , pp. 178-218
    • Calvanese, D.1    Giacomo, G.2
  • 9
    • 84867759223 scopus 로고    scopus 로고
    • Goŕe, R., Leitsch, A., Nipkow, T., eds.: Proceedings of International Joint Conference on Automated Reasoning (IJCAR2001), Springer-Verlag
    • Haarslev, V., Möller, R.: RACER System Description. In Goŕe, R., Leitsch, A., Nipkow, T., eds.: Proceedings of International Joint Conference on Automated Reasoning (IJCAR2001), Springer-Verlag (2001) 701-705
    • (2001) RACER System Description , pp. 701-705
    • Haarslev, V.1    Möller, R.2
  • 10
    • 84937405545 scopus 로고    scopus 로고
    • Reasoning with individuals for the description logic
    • MacAllester D., ed.: Proc. of the 17th Int. Conf. on Automated Deduction (CADE-17). LNAI 1831, Springer-Verlag
    • Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic SHIQ. In MacAllester, D., ed.: Proc. of the 17th Int. Conf. on Automated Deduction (CADE-17). LNAI 1831, Springer-Verlag (2000) 482-496
    • (2000) SHIQ , pp. 482-496
    • Horrocks, I.1    Sattler, U.2    Tobies, S.3
  • 14
    • 85018383320 scopus 로고    scopus 로고
    • Choueiry, B., Walsh, T., eds.: Proceedings 4th International Symposium, SARA-2000, Horseshoes Bay, Texas, USA, Springer-Verlag, LNAI
    • Spaccapietra, S., Parent, C., Vangenot, C.: From Multiscale to Multirepresentation. In Choueiry, B., Walsh, T., eds.: Proceedings 4th International Symposium, SARA-2000, Horseshoes Bay, Texas, USA, Springer-Verlag, LNAI 1864 (2000)
    • (2000) From Multiscale to Multirepresentation , vol.1864
    • Spaccapietra, S.1    Parent, C.2    Vangenot, C.3
  • 19
    • 0030125127 scopus 로고    scopus 로고
    • On the relative expressive power of description logics and Predicate Calculus
    • Borgida, A.: On the relative expressive power of Description Logics and Predicate Calculus. In: Artificial Intelligence 82. (1996) 353-367
    • (1996) Artificial Intelligence , vol.82 , pp. 353-367
    • Borgida, A.1
  • 20
    • 33845191560 scopus 로고    scopus 로고
    • Baader, F., Calvanese D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press
    • Baader, F., Nutt., W.: Basic Description Logics. In Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: Description Logic Handbook, Cambridge University Press (2002) 43-95
    • (2002) Basic Description Logics , pp. 43-95
    • Baader, F.1    Nutt, W.2


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