Cited references

[Allen 1983] James Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26(11):832-843, 1983

[Andersen 1990] Peter Bøgh Andersen, A theory of computer semiotics, Cambridge university press, Cambridge (UK), 1990

[Arenas 2012] Marcelo Arenas, Sebastián Conca, Jorge Pérez, Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard, Proc. of the 21st World Wide Web Conference (WWW), Lyon, FR, pp629-638, 2012

[Baader 1996] Franz Baader, A formal definition of the expressive power of terminological knowledge representation languages, Journal of logic and computation 6(1):33-54, 1996

[Baader 2003] Franz Baader, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (eds.), The description logic handbook, Cambridge university press, Cambridge (UK), 2003

[Baget 2001] Jean-François Baget, Représenter des connaissances et raisonner avec des hypergraphes : de la projection à la dérivation, Thèse d'informatique, Université de Montpellier II, Montpellier (FR), 2001 http://exmo.inria.fr/people/baget/publications/baget_01_these.pdf

[Barwise 1997] Jon Barwise, Jerry Seligman, Information flow: the logic of distributed systems, Cambridge university press, Cambridge (UK), 1997

[Bechhofer 2001] Sean Bechhofer, Carole Goble, Ian Horrocks, DAML+OIL is not enough, Proc. 1st International Semantic Web Working Symposium, Stanford (CA US), pp151-160, 2001 http://www.semanticweb.org/SWWS/program/full/paper40.pdf

[Berners-Lee 2001] Tim Berners-Lee, James Hendler, Ora Lassila, The semantic web, Scientific american 284(5):35-43, 2001, http://www.scientificamerican.com/2001/0501issue/0501berners-lee.html

[Ciocoiu 2000] Mihai Ciocoiu and Dana Nau, Ontology-based semantics, Proceedings of 7th international conference on knowledge representation and reasoning (KR), Breckenridge, (CO US), pp539-546, 2000

[Clark 1999] James Clark (ed.), XSL transformations (XSLT) version 1.0, Recommendation, w3c, 1999 http://www.w3.org/TR/xslt

[Euzenat 1999a] Jérôme Euzenat, Représentations de connaissance: de l'approximation à la confrontation, Mémoire d'habilitation à diriger des recherches, Université Joseph Fourier, Grenoble (FR), 1999 https://www.inrialpes.fr/sherpa/files/theses/hdr-euzenat.ps.gz

[Ganter 1999] Bernhard Ganter, Rudolf Wille, Formal concept analysis, Springer-Verlag, Berlin (DE), 1999

[Goguen 1999] Joseph Goguen, An introduction to algebraic semiotics with application to user interface design, Lecture notes in computer science 1562:242-291, 1999 http://www-cse.ucsd.edu/users/goguen/ps/as.ps.gz

[Guarino 1998] Nicola Guarino (ed.), Formal ontology in information systems, IOS press, Amsterdam (NL), 1998

[Kohlhase 2000] Michael Kohlhase, OMDoc: Towards an OpenMath Representation of Mathematical Documents, SEKI report SR-00-02, Universität des Saarlandes, Saarebrucken (DE), 2000

[Mann 1988] William Mann, Sandra Thompson, Rhetorical structure theory : toward a functional theory of text organization, Text 8(3):243-281, 1988

[Masolo 2000] Claudio Masolo, Criteri di confronto e costruzione di teorie assiomatiche per la rappresentazione della conoscenza: ontologie dello spazio e del tempo, Tesi di dottorato, Universitá di Padova, Padova (IT), 2000

[Muñoz et al. 2007] Sergio Muñoz, Jorge Pérez, Claudio Gutiérrez, Minimal Deductive Systems for RDF, Proc. 4th European Semantic Web Conference (ESWC), Innsbruck (AT), pp53-67, 2007

[Necula 1998] George Necula, Peter Lee, Efficient representation and validation of proofs, Proceedings of the 13th symposium on "logic in computer science", Indianapolis (IN US), pp93-104, 1998

[Rutledge 2000] Lloyd Rutledge, Jim Davis, Jacco van Ossenbruggen, Lynda Hardman, Inter-dimensionnal hypermedia communicative devices for rhetorical structure, Proceedings of the Multimedia Modeling conference, Nagano, (JP), 2000, pp89-105, http://www.cwi.nl/~lynda/publications.html

[Staab 2001] Steffen Staab, Michael Erdmann, Alexander Maedche. Engineering ontologies using semantic patterns. In Asuncion Gomez Perez, Michael Gruninger, Heiner Stuckenschmidt, Michael Uschold (eds), Proc. IJCAI 2001 workshop on ontology and information sharing, Seattle (WA US), pp174-185, 2001 http://ceur-ws.org/Vol47/staab.pdf.