-
2
-
-
0002210449
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
-
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
-
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
-
-
G. Kerdiles, Saying it with pictures: a logical landscape of conceptual graphs, Ph.D. thesis, Univ. Montpellier II/Amsterdam, November 2001.
-
-
-
-
24
-
-
0346264771
-
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
-
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
-
-
F. Wei, G. Lausen, Containment of conjunctive queries with safe negation, in: International Conference on Database Theory (ICDT), 2003, pp. 346-360.
-
-
-
-
29
-
-
84974718828
-
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
-
-
J.D. Ullman, Information Integration using logical views, in: Proc. ICDT'97, 1997, pp. 19-40.
-
-
-
-
31
-
-
85032876465
-
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
-
-
T. Berners-Lee, J. Hendler, O. Lassile, The semantic web, Scientific American. Available from: .
-
-
-
-
33
-
-
33846808064
-
-
J.C.G. Klyne, Resource description framework (RDF): concepts and abstract syntax, recommandation, W3C. Available from: , 2004.
-
-
-
-
34
-
-
33646426372
-
-
J. Baget, RDF entailment as a graph homomorphism, in: International Semantic Web Conference (ISWC), 2005, pp. 82-96.
-
-
-
-
35
-
-
33846846898
-
-
P. Hayes, RDF Semantics, Recommandation, W3C, 2004.
-
-
-
-
36
-
-
33846815724
-
-
J. Baget, Homomorphismes d'hypergraphes pour la subsomption en RDF/RDFS, in: Conference LMO'04, 2004, pp. 203-216.
-
-
-
-
37
-
-
84958669557
-
-
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
-
-
E. Prud'hommeaux, A. Seaborne, SPARQL query language for RDF, Tech. rep., W3C working draft, 2005.
-
-
-
-
39
-
-
33845203429
-
Negation and negative information in the W3C resource description framework
-
Analyti A., Antoniou G., Damásio C., and Wagner G. Negation and negative information in the W3C resource description framework. Annals of Mathematics, Computing and Teleinformatics 1 2 (2004) 25-34
-
(2004)
Annals of Mathematics, Computing and Teleinformatics
, vol.1
, Issue.2
, pp. 25-34
-
-
Analyti, A.1
Antoniou, G.2
Damásio, C.3
Wagner, G.4
|