메뉴 건너뛰기




Volumn 60, Issue 3, 2007, Pages 468-493

On querying simple conceptual graphs with negation

Author keywords

Atomic negation; Conceptual graphs; Deduction; Query answering

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; GRAPH THEORY; INFORMATION RETRIEVAL SYSTEMS; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING;

EID: 33846809069     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2006.03.008     Document Type: Article
Times cited : (15)

References (39)
  • 2
    • 0002210449 scopus 로고
    • What's in a link: foundations for semantic networks
    • Bobrow D., and Collins A. (Eds), Academic Press
    • Woods W. What's in a link: foundations for semantic networks. In: Bobrow D., and Collins A. (Eds). Representation and Understanding (1975), Academic Press 35-82
    • (1975) Representation and Understanding , pp. 35-82
    • Woods, W.1
  • 3
    • 0017463589 scopus 로고
    • What's in a concept: structural foundations for semantic networks
    • Brachman R.J. What's in a concept: structural foundations for semantic networks. International Journal of Man-Machine Studies 9 (1977) 127-152
    • (1977) International Journal of Man-Machine Studies , vol.9 , pp. 127-152
    • Brachman, R.J.1
  • 5
    • 84958655477 scopus 로고    scopus 로고
    • Knowledge representation and reasoning based on graph homomorphism
    • Proc. ICCS'00, Springer
    • Mugnier M.-L. Knowledge representation and reasoning based on graph homomorphism. Proc. ICCS'00. LNAI vol. 1867 (2000), Springer 172-192
    • (2000) LNAI , vol.1867 , pp. 172-192
    • Mugnier, M.-L.1
  • 6
    • 7044226608 scopus 로고    scopus 로고
    • Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms
    • Proc. of ICCS'03, Springer
    • Baget J.-F. Simple conceptual graphs revisited: hypergraphs and conjunctive types for efficient projection algorithms. Proc. of ICCS'03. LNAI vol. 2746 (2003), Springer 229-242
    • (2003) LNAI , vol.2746 , pp. 229-242
    • Baget, J.-F.1
  • 7
    • 26944480924 scopus 로고    scopus 로고
    • The complexity of rules and constraints
    • Baget J.-F., and Mugnier M.-L. The complexity of rules and constraints. JAIR 16 (2002) 425-465
    • (2002) JAIR , vol.16 , pp. 425-465
    • Baget, J.-F.1    Mugnier, M.-L.2
  • 8
    • 8644237873 scopus 로고
    • Basic conceptual structures theory
    • Proc. ICCS'98, Springer
    • Wermelinger M., and Lopes J. Basic conceptual structures theory. Proc. ICCS'98. LNAI vol. 835 (1994), Springer 144-159
    • (1994) LNAI , vol.835 , pp. 144-159
    • Wermelinger, M.1    Lopes, J.2
  • 9
    • 33846839848 scopus 로고    scopus 로고
    • F. Dau, The logic system of concept graphs with negation and its relationship to predicate logic, Ph.D. thesis, Technische Universitat Darmstadt, 2002.
  • 10
    • 84948989231 scopus 로고    scopus 로고
    • Modeling and simulating human behaviors with conceptual graphs
    • Proc. of ICCS'97, Springer
    • Bos C., Botella B., and Vanheeghe P. Modeling and simulating human behaviors with conceptual graphs. Proc. of ICCS'97. LNAI vol. 1257 (1997), Springer 275-289
    • (1997) LNAI , vol.1257 , pp. 275-289
    • Bos, C.1    Botella, B.2    Vanheeghe, P.3
  • 11
    • 0004892444 scopus 로고
    • Negation in rule-based database languages: a survey
    • Bidoit N. Negation in rule-based database languages: a survey. Theoretical Computer Science 78 1 (1991) 3-83
    • (1991) Theoretical Computer Science , vol.78 , Issue.1 , pp. 3-83
    • Bidoit, N.1
  • 12
    • 0028425519 scopus 로고
    • Logic programming and negation: a survey
    • Apt K.R., and Bol R.N. Logic programming and negation: a survey. Journal of Logic Programming 19/20 (1994) 9-71
    • (1994) Journal of Logic Programming , Issue.19-20 , pp. 9-71
    • Apt, K.R.1    Bol, R.N.2
  • 15
    • 84958765325 scopus 로고
    • A direct proof procedure for definite conceptual graphs programs
    • Proc. of ICCS'95, Springer
    • Ghosh B.C., and Wuwongse V. A direct proof procedure for definite conceptual graphs programs. Proc. of ICCS'95. LNAI vol. 954 (1995), Springer 158-172
    • (1995) LNAI , vol.954 , pp. 158-172
    • Ghosh, B.C.1    Wuwongse, V.2
  • 16
    • 35048820155 scopus 로고    scopus 로고
    • Types and coreference in simple conceptual graphs
    • Springer
    • Chein M., and Mugnier M.-L. Types and coreference in simple conceptual graphs. Proc. ICCS'04, LNAI vol. 3117 (2004), Springer 303-318
    • (2004) Proc. ICCS'04, LNAI , vol.3117 , pp. 303-318
    • Chein, M.1    Mugnier, M.-L.2
  • 18
    • 0033722219 scopus 로고    scopus 로고
    • Knowledge retrieval and the world wide web
    • Martin P., and Eklund P.W. Knowledge retrieval and the world wide web. IEEE Intelligent Systems 15 3 (2000) 18-25
    • (2000) IEEE Intelligent Systems , vol.15 , Issue.3 , pp. 18-25
    • Martin, P.1    Eklund, P.W.2
  • 19
    • 85182327203 scopus 로고    scopus 로고
    • O. Corby, R. Dieng-Kuntz, C. Faron-Zucker, Querying the semantic web with Corese search engine, in: Proceedings of 3rd Prestigious Applications Intelligent Systems Conference (PAIS) Valence, 2004, pp. 705-709.
  • 20
    • 24944478344 scopus 로고    scopus 로고
    • A Content-Search Information Retrieval based on Conceptual Graphs
    • Genest D., and Chein M. A Content-Search Information Retrieval based on Conceptual Graphs. Knowledge and Information Systems (KAIS) 8 3 (2005)
    • (2005) Knowledge and Information Systems (KAIS) , vol.8 , Issue.3
    • Genest, D.1    Chein, M.2
  • 21
    • 33846810399 scopus 로고    scopus 로고
    • J. Broekstra, A. Kampman, SeRQL: A Second Generation RDF Query Language, sWAD-Europe Workshop on Semantic Web Storage and Retrieval available at: , 2003.
  • 22
    • 3142742324 scopus 로고    scopus 로고
    • Foundations of semantic web databases
    • ACM
    • Gutierrez C., Hurtado C., and Mendelzon A. Foundations of semantic web databases. PODS (2004), ACM 95-106
    • (2004) PODS , pp. 95-106
    • Gutierrez, C.1    Hurtado, C.2    Mendelzon, A.3
  • 23
    • 33846839847 scopus 로고    scopus 로고
    • G. Kerdiles, Saying it with pictures: a logical landscape of conceptual graphs, Ph.D. thesis, Univ. Montpellier II/Amsterdam, November 2001.
  • 24
    • 0346264771 scopus 로고    scopus 로고
    • Web rules need two kinds of negation
    • Proc. 1st International Workshop PPSW3, Springer
    • Wagner G. Web rules need two kinds of negation. Proc. 1st International Workshop PPSW3. LNCS vol. 2901 (2003), Springer 25-33
    • (2003) LNCS , vol.2901 , pp. 25-33
    • Wagner, G.1
  • 25
    • 0012350039 scopus 로고    scopus 로고
    • Nested graphs: a graph-based knowledge representation model with FOL semantics
    • Morgan Kaufmann revised version available at:
    • Chein M., Mugnier M.-L., and Simonet G. Nested graphs: a graph-based knowledge representation model with FOL semantics. Proc. of KR'98 (1998), Morgan Kaufmann 524-534. http://www.lirmm.fr/~mugnier/ revised version available at:
    • (1998) Proc. of KR'98 , pp. 524-534
    • Chein, M.1    Mugnier, M.-L.2    Simonet, G.3
  • 27
    • 35248821695 scopus 로고    scopus 로고
    • F. Wei, G. Lausen, Containment of conjunctive queries with safe negation, in: International Conference on Database Theory (ICDT), 2003, pp. 346-360.
  • 29
    • 84974718828 scopus 로고    scopus 로고
    • Hypertree decompositions: a survey
    • Gottlob G., Leone N., and Scarcello F. Hypertree decompositions: a survey. MFCS'01 2136 (2001) 37-57
    • (2001) MFCS'01 , vol.2136 , pp. 37-57
    • Gottlob, G.1    Leone, N.2    Scarcello, F.3
  • 30
    • 84948958512 scopus 로고    scopus 로고
    • J.D. Ullman, Information Integration using logical views, in: Proc. ICDT'97, 1997, pp. 19-40.
  • 31
    • 85032876465 scopus 로고
    • A database needs two kinds of negation
    • Proc. 3rd symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Springer
    • Wagner G. A database needs two kinds of negation. Proc. 3rd symposium on Mathematical Fundamentals of Database and Knowledge Base Systems. LNCS vol. 495 (1991), Springer 357-371
    • (1991) LNCS , vol.495 , pp. 357-371
    • Wagner, G.1
  • 32
    • 33846814162 scopus 로고    scopus 로고
    • T. Berners-Lee, J. Hendler, O. Lassile, The semantic web, Scientific American. Available from: .
  • 33
    • 33846808064 scopus 로고    scopus 로고
    • J.C.G. Klyne, Resource description framework (RDF): concepts and abstract syntax, recommandation, W3C. Available from: , 2004.
  • 34
    • 33646426372 scopus 로고    scopus 로고
    • J. Baget, RDF entailment as a graph homomorphism, in: International Semantic Web Conference (ISWC), 2005, pp. 82-96.
  • 35
    • 33846846898 scopus 로고    scopus 로고
    • P. Hayes, RDF Semantics, Recommandation, W3C, 2004.
  • 36
    • 33846815724 scopus 로고    scopus 로고
    • J. Baget, Homomorphismes d'hypergraphes pour la subsomption en RDF/RDFS, in: Conference LMO'04, 2004, pp. 203-216.
  • 37
    • 84958669557 scopus 로고    scopus 로고
    • Springer Verlag
    • Corby O., Dieng R., and Herbert C. A Conceptual Graph Model for W3C Resource Description Framework. LNAI vol. 1867 (2000), Springer Verlag 468-482
    • (2000) LNAI , vol.1867 , pp. 468-482
    • Corby, O.1    Dieng, R.2    Herbert, C.3
  • 38
    • 33846830243 scopus 로고    scopus 로고
    • E. Prud'hommeaux, A. Seaborne, SPARQL query language for RDF, Tech. rep., W3C working draft, 2005.


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