Abstract
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users in RDFS(XML). We show how to do this against a graphic view of Entities and their Relationships (associated or derived). This even allows inclusion of existential quantifiers in readable fashion. The captured constraint can be tested by generating queries to search for violations in stored data. The constraint can then be automatically revised to exclude specific cases picked out by the user, who is spared worries about proper syntax and boolean connectives.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ajit, S., Sleeman, D., Fowler, D.W., Knott, D.: ConEditor: Tool to Input and Maintain Constraints. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS (LNAI), vol. 3257, pp. 466–468. Springer, Heidelberg (2004)
Bader, G.D., Betel, D., Hogue, C.W.V.: BIND: the Biomolecular Interaction Network Database. Nucleic Acids Research 31, 248–250 (2003)
Gil, I., Gray, P.M.D., Kemp, G.J.L.: A Visual Interface and Navigator for the P/FDM Object Database. In: Paton, N.W., Griffiths, T. (eds.) Proceedings of User Interfaces to Data Intensive Systems (UIDIS 1999), pp. 54–63. IEEE Computer Society Press, Los Alamitos (1999)
Gray, P.M.D., Embury, S.M., Hui, K.Y., Kemp, G.J.L.: The Evolving Role of Constraints in the Functional Data Model. J. Intelligent Information Systems 12, 113–137 (1999)
Gray, P.M.D., Hui, K., Preece, A.D.: An Expressive Constraint Language for Semantic Web Applications. In: Preece, A., O’Leary, D. (eds.) E-Business and the Intelligent Web: Papers from the IJCAI 2001 Workshop, pp. 46–53. AAAI Press, Menlo Park (2001)
Kemp, G.J.L., Selpi: Pathway and Protein Interaction Data: from XML to FDM Database. In: Rahm, E. (ed.) DILS 2004. LNCS (LNBI), vol. 2994, pp. 212–219. Springer, Heidelberg (2004)
McKenzie, C., Gray, P.M.D., Preece, A.D.: Extending SWRL to Express Fully-Quantified Constraints. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 139–154. Springer, Heidelberg (2004)
Noy, N.F., Fergerson, R.W., Musen, M.A.: The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 17–32. Springer, Heidelberg (2000)
Yeh, I., Karp, P.D., Noy, N.F., Altman, R.B.: Knowledge acquisition, consistency checking and concurrency control for Gene Ontology (GO). Bioinformatics 19(2), 241–248 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gray, P.M.D., Kemp, G.J.L. (2006). Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph. In: Staab, S., Svátek, V. (eds) Managing Knowledge in a World of Networks. EKAW 2006. Lecture Notes in Computer Science(), vol 4248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11891451_4
Download citation
DOI: https://doi.org/10.1007/11891451_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46363-4
Online ISBN: 978-3-540-46365-8
eBook Packages: Computer ScienceComputer Science (R0)