메뉴 건너뛰기




Volumn 3407, Issue , 2005, Pages 154-169

A formal framework for ontology integration based on a default extension to DDL

Author keywords

Default extension; Distributed description logics; Ontology integration; Semantic query; Tableau algorithm

Indexed keywords

ALGORITHMS; FORMAL LOGIC; INFORMATION ANALYSIS; QUERY LANGUAGES; SYSTEMS ANALYSIS;

EID: 24644462725     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_13     Document Type: Conference Paper
Times cited : (5)

References (24)
  • 2
    • 0002487873 scopus 로고    scopus 로고
    • An analysis of ontology mismatches; heterogeneity versus interoperability
    • Stanford, USA
    • Visser, P. R. S., et al.: An Analysis of Ontology Mismatches; Heterogeneity Versus Interoperability. In AAAI 1997 Spring Symposium on Ontological Engineering, Stanford, USA, (1997) 164-172
    • (1997) AAAI 1997 Spring Symposium on Ontological Engineering , pp. 164-172
    • Visser, P.R.S.1
  • 3
    • 79551602978 scopus 로고    scopus 로고
    • Scientific American
    • Berners-Lee, T., et al.: The Semantic Web. Scientific American, Vol. 284, (2001) 34-43
    • (2001) The Semantic Web , vol.284 , pp. 34-43
    • Berners-Lee, T.1
  • 4
    • 35148839490 scopus 로고
    • A translation approach to portable ontology specifications
    • Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition, Vol.5, (1993) 199-220
    • (1993) Knowledge Acquisition , vol.5 , pp. 199-220
    • Gruber, T.R.1
  • 7
    • 0036930307 scopus 로고    scopus 로고
    • Reviewing the design of DAML+OIL: Language for the semantic web
    • Cannada
    • Horrocks, I., et al.: Reviewing the design of DAML+OIL: language for the Semantic Web. In proceedings of AAAI'02, Cannada, (2002) 792-797
    • (2002) Proceedings of AAAI'02 , pp. 792-797
    • Horrocks, I.1
  • 8
    • 16244394689 scopus 로고    scopus 로고
    • Distributed description logics: Directed domain correspondences in federated information sources
    • Springer Verlag
    • Borgida, A., et al.: Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. In Journal of Data Semantics, Vol.1, Springer Verlag, (2003) 153-184
    • (2003) Journal of Data Semantics , vol.1 , pp. 153-184
    • Borgida, A.1
  • 9
    • 0026107613 scopus 로고
    • Attributive concept descriptions with complements
    • Schimidt-schauß, M., Smolka, G.: Attributive concept descriptions with complements. In Artificial Intelligence, Vol.48, (1991) 1-26
    • (1991) Artificial Intelligence , vol.48 , pp. 1-26
    • Schimidt-Schauß, M.1    Smolka, G.2
  • 10
    • 0141780306 scopus 로고
    • Embedding defaults into terminological representation systems
    • Baader, F., Hollunder, B.: Embedding Defaults into Terminological Representation Systems. In Journal of Automated Reasoning, Vol.14, (1995) 149-180
    • (1995) Journal of Automated Reasoning , vol.14 , pp. 149-180
    • Baader, F.1    Hollunder, B.2
  • 16
    • 19644364955 scopus 로고    scopus 로고
    • Hewlett-Packard Semantic Web Lab.: Jena Semantic Web Framework. (2004) http://www.hpl.hp.com/semweb/
    • (2004) Jena Semantic Web Framework
  • 17
    • 24644468080 scopus 로고    scopus 로고
    • HP Semantic Web Lab.: RDQL-RDF Data Query Language. (2004) http://www.hpl.hp.com/semweb/rdql.htm
    • (2004) RDQL-RDF Data Query Language
  • 20
    • 0001898976 scopus 로고    scopus 로고
    • An environment for merging and testing large ontologies
    • Cohn, A.G., Giunchiglia, F., and Selman, B. (eds.). San Francisco
    • McGuinness, D.L., et al.: An environment for merging and testing large ontologies. In: Cohn, A.G., Giunchiglia, F., and Selman, B. (eds.): In KR2000: Principles of Knowledge Representation and Reasoning. San Francisco, (2000) 483-493
    • (2000) KR2000: Principles of Knowledge Representation and Reasoning , pp. 483-493
    • McGuinness, D.L.1
  • 21
    • 0344272280 scopus 로고    scopus 로고
    • Managing multiple and distributed ontologies on the Semantic Web
    • Maedche, A., et al.: Managing multiple and distributed ontologies on the Semantic Web. In The VLDB Journal-Digital Object Identifier (DOI). Vol.12. (2003) 286-302
    • (2003) The VLDB Journal-digital Object Identifier (DOI) , vol.12 , pp. 286-302
    • Maedche, A.1


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