Capturing quantified constraints in FOL, through interaction with a relationship graph

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4248 LNAI, Issue , 2006, Pages 19-26

  Gray, Peter M D ^a   Kemp, Graham J L ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; GRAPH THEORY; USER INTERFACES; WORLD WIDE WEB; XML;

BOOLEAN CONNECTIVES; QUANTIFIED CONSTRAINTS; RELATIONSHIP GRAPH; SYNTAX CONNECTIVES;

SEMANTICS;

EID: 33750700443     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11891451_4     Document Type: Conference Paper

References (9)

1. S. Ajit, D. Sleeman, D.W. Fowler, and D. Knott. ConEditor: Tool to Input and Maintain Constraints. In E. Motta, N. Shadbolt, A. Stutt, and N. Gibbins, editors, EKAW 2004, Proceedings, volume 3257 of LNCS, pages 466-468. Springer, 2004.
2. G.D. Bader, D. Betel, and C.W.V. Hogue. BIND: the Biomolecular Interaction Network Database. Nucleic Acids Research, 31:248-250, 2003.
3. I. Gil, P.M.D. Gray, and G.J.L. Kemp. A Visual Interface and Navigator for the P/FDM Object Database. In N.W. Paton and T. Griffiths, editors, Proceedings of User Interfaces to Data Intensive Systems (UIDIS'99), pages 54-63. IEEE Computer Society Press, 1999.
4. P.M.D. Gray, S.M. Embury, K.Y. Hui, and G.J.L. Kemp. The Evolving Role of Constraints in the Functional Data Model. J. Intelligent Information Systems, 12:113-137, 1999.
5. P.M.D. Gray, K. Hui, and A.D. Preece. An Expressive Constraint Language for Semantic Web Applications. In A. Preece and D. O'Leary, editors, E-Business and the Intelligent Web: Papers from the IJCAI-01 Workshop, pages 46-53. AAAI Press, 2001.
6. G.J.L. Kemp and Selpi. Pathway and Protein Interaction Data: from XML to FDM Database. In E. Rahm, editor, Data Integration in the Life Sciences, First International Workshop, DILS 2004, Proceedings, volume 2994 of LNCS, pages 212-219. Springer, 2004.
7. C. McKenzie, P.M.D. Gray, and A.D. Preece. Extending SWRL to Express Fully-Quantified Constraints. In G. Antoniou and H. Boley, editors, Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings, volume 3323 of LNCS, pages 139-154. Springer, 2004.
8. N.F. Noy, R.W. Fergerson, and M.A. Musen. The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In R. Dieng and O. Corby, editors, Knowledge Acquisition, Modeling and Management, EKAW 2000 Proceedings, volume 1937 of LNCS, pages 17-32. Springer, 2000.
9. I. Yeh, P.D. Karp, N.F. Noy, and R.B. Altman. Knowledge acquisition, consistency checking and concurrency control for Gene Ontology (GO). Bioinformatics, 19(2):241-248, 2003.