Irodalomjegyzék

Vissza a f?oldalra.

[1] Sharon Adler. Extensive Stylesheet Language (XSL). http://www.w3.org/TR/xsl , 2001. W3C recommendation.

[2] Aduna BV. Sesame. http://www.openrdf.org/.

[3] Apache Software Foundation. Formatting object processor. http://xml.apache.org/fop/.

[4] F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
http://www.dis.uniroma1.it/~nardi/dlhb/ .

[5] F. Baader and U. Sattler. Expressive number restrictions in description logics. Journal of Logic and Computation, 9(3):319350, 1999.
http://cib.bau.tu-dresden.de/~michael/literatur/paper_general/expressive_number_restrictions_DL.pdf .

[6] BEA Liquid Data. http://www.bea.com/framework.jsp?CNT=index.htm&FP=/content/products/liquid_data .

[7] BEA WebLogic Integration. http://www.bea.com/framework.jsp?CNT=index.htm&FP=/content/products/integrate .

[8] Sean Bechhofer. OWL web ontology language reference. W3C recommendation, February 2004.
http://www.w3.org/TR/owl-ref/ .

[9] Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: a reasonable ontology editor for the Semantic Web. In Proceedings of KI2001, Joint German/ Austrian conference on Artificial Intelligence, number 2174 in Lecture Notes in Computer Science, pages 396408, Vienna, September 2001. Springer-Verlag.
http://potato.cs.man.ac.uk/papers/dl01-oiled.pdf .

[10] Dave Beckett. RDF/XML syntax specification. W3C working draft, November 2002.
http://www.w3.org/TR/2002/WD-rdf-syntax-grammar-20021108/ .

[11] Dave Beckett. RDF/XML syntax specification (revised). W3C recommendation, February 2004.
http://www.w3.org/TR/rdf-syntax-grammar/ .

[12] Dave J. Beckett. The design and implementation of the redland RDF application framework. In World Wide Web, pages 449456, 2001. http://citeseer.ist.psu.edu/beckett01design.html .
http://www.ilrt.bris.ac.uk/discovery/2001/02/redland/redland.pdf .

[13] Tim Berners-Lee. Ideas about Web architecture yet another notation, Notation 3. http://www.w3.org/DesignIssues/Notation3.html , 1998.

[14] Tim Berners-Lee, R. Fielding, U.C. Irvine, and L. Masinter. RFC2396. http://www.ietf.org/rfc/rfc2396.txt ,August 1998. UniformResource Identifiers (URI): Generic Syntax.

[15] Alexander Borgida and Peter F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. JAIR, 1:277308, 1994.
http://www-2.cs.cmu.edu/afs/cs/project/jair/pub/volume1/borgida94a.pdf .

[16] Dan Brickley, R.V. Guha, and Brian McBride. RDF Vocabulary Description Language 1.0: RDF Schema. W3C recommendation, February 2004.
http://www.w3.org/TR/rdf-schema/ .

[17] Sergey Brin and Lawrence Page. The anatomy of a large-scale hypertextualWeb search engine. Computer Networks and ISDN Systems, 30(17):107117, 1998. http://citeseer.ist.psu.edu/brin98anatomy.html .
http://www.mpi-sb.mpg.de/departments/d5/teaching/ws99_00/seminar-papers/bp98.ps .

[18] brindsys. WinRSS. http://www.brindys.com/iuk/index.html . Syndicated news feeds reader.

[19] Jamie Callan and Margaret Connell. Query-based sampling of text databases. ACM Trans. Inf. Syst., 19(2):97130, 2001.
http://portal.acm.org/citation.cfm?id=383040 .

[20] Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modeling. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems, pages 229264. Kluwer Academic Publisher, 1998.
http://www.dis.uniroma1.it/~degiacom/didattica/esslli03/3-data-modeling.ps.gz .

[21] Carnegie Group, Inc., Pittsburgh (Pennsylvania, U.S.A.). Carnegie Representation Language, 1986. Knowledge Craft Users Manual.

[22] P. P. Chen. The entity-relational model: Toward a unified view of data. ACM Transactions an Database Systems, 1(1):936, 1976.
http://portal.acm.org/ft_gateway.cfm?id=320440&type=pdf .

[23] James Clark. XML Transformations (XSLT). http://www.w3.org/TR/xslt , 1999. W3C recommendation.

[24] Willem Conradie. The Beth property for the modal logic of graded modalities, with an application to the description logic ALCQ. In Proceedings of the Eighth ESSLLI Student Session, pages 5968, 2003.
http://www.wits.ac.za/sams03/samsAtoD.pdf .

[25] Steve DeRose James Clark. XML Path Language (XPath). http://www.w3.org/TR/xpath , 1999. W3C recommendation.

[26] A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. {log}: A Language for Programming in Logic with Finite Sets. Journal of Logic Programming, 28(1):144, 1996.
ftp://ftp.dimi.uniud.it/pub/dovier/jlpsetlog.ps.gz .

[27] Dublin Core Metadata Initiative. Dublin Core. http://dublincore.org/ .

[28] Michael Eisfeld. Model construction for configuration design. In Proceedings of the Workshop of Applications of Description Logics. TechnicalUniversity of Dresden, Germany, 2002.
http://cib.bau.tu-dresden.de/~michael/publications/AI_WS_aachen_2002.pdf .

[29] Joseph E. Fasel Paul Hudak, John Peterson. A Gentle Introduction to Haskell 98, 1999.
http://www.haskell.org/tutorial/ .

[30] C. Fellbaum. Wordnet an electronic lexical database. http://citeseer.ist.psu.edu/lin98wordnet.html , 1998. Christiane Fellbaum, editor. 1998.Word-Net An Electronic Lexical Database. The MIT Press.
Book review: 1 2.

[31] Miklós Ferenczi. Matematikai Logika. M?szaki Könyvkiadó, Budapest, 2002.

[32] Fourthought, Inc. 4suite: an open-source platform for XML and RDF processing. http://4suite.org .

[33] N. Freed. RFC2045. http://www.faqs.org/rfcs/rfc2045.html ,November 1996. Multipurpose Internet Mail Extensions (MIME).

[34] Th. Fruehwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Journal of Logic Programming, volume 37(13), pages 95138, October 1998.
http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/jlp-chr1/jlp-chr1.html .

[35] GALEN (Generalised Architecture for Languages, Encyclopaedias and Nomenclatures in Medicine). http://www.opengalen.org/ .

[36] Google. Google Scholar. http://scholar.google.com/ .

[37] R.V. Guha. rdfDB: An RDF database. http://guha.com/rdfdb .

[38] Guha R.V and Patrick Hayes. LBase: Semantics for languages of the semantic web. W3C note, October 2003.
http://mirrors.webthing.com/www.w3.org/TR/2003/NOTE-lbase-20030905/ .

[39] R.V. Guha, Ora Lassila, Eric Miller, and Dan Brickley. Enabling inferencing. http://www.w3.org/TandS/QL/QL98/pp/enabling.html , 1998. W3C Query Languages meeting in Boston, December 3-4th 1998.

[40] Volker Haarslev and RalfMöller. RACER Users Guide and ReferenceManual Version 1.7.19. Concordia University, Montreal, Canada, 2003.
http://www.sts.tu-harburg.de/~r.f.moeller/racer/racer-manual-1-7-19.pdf .

[41] David Hawking and Nick Craswell. Very large scale retrieval and web search. In Ellen Voorhees and Donna Harman, editors, TREC: Experiment and Evaluation in Information Retrieval. MIT Press, 2005. http://es.csiro.au/pubs/trecbook_for_website.pdf .

[42] P. Hayes. RDF semantics, February 2004. W3C recommendation.
http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ .

[43] P. Hayes and C. Menzel. A semantics for the knowledge interchange format. In Proceedings of Workshop on the IEEE Standard Upper Ontology, 2001.
http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf .

[44] Y. L. Hedley, M. Younas, A. James, and M. Sanderson. A two-phase sampling technique for information extraction from hidden web databases. In WIDM 04: Proceedings of the 6th annual ACM international workshop on Web information and data management, pages 18. ACM Press, 2004.
http://portal.acm.org/citation.cfm?id=1031456 .

[45] Kevin Hemenway. Amphetadesk. http://www.disobey.com/amphetadesk/ . Syndicated news aggregator.

[46] Hewlett-Packard Development Company. Jena toolkit. http://jena.sourceforge.net/ .

[47] Bernhard Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. Annals of Mathematics and Artificial Intelligence, 18:95131, 1996.

[48] I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
http://www.cs.man.ac.uk/~horrocks/Publications/download/1997/phd-2sss.ps.gz .

[49] I. Horrocks. The FaCT system. In H. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux98, number 1397 in Lecture Notes in Artificial Intelligence, pages 307312. Springer- Verlag, 1998.
http://www.cs.man.ac.uk/~horrocks/Publications/download/1998/t98-paper.ps.gz .

[50] I. Horrocks and P.F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. Second International Semantic Web Conference (ISWC2003), 2003.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/HoPa03b.pdf

[51] I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. In Enrico Franconi, editor, 1998 International Workshop on Description Logics (DL98), 1998.
ftp://www-lti.informatik.rwth-aachen.de/pub/reports/1998/HorrocksSattler-LTCS-98-05.ps.gz . (Megjegyzés: a letöltött fájl végér?l a .gz kiterjesztést átnevezéssel elhagyva a fájl .ps-ként megnyitható.)

[52] I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2001/ijcai01.pdf .

[53] I. Horrocks and U. Sattler. Decidability of SHIQ with complex role inclusion axioms. LTCS-Report LTCS-02-06, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2002.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2002/HoSa02b.pdf .

[54] I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2002/HorrocksSattlerECAI2002.pdf .

[55] I. Horrocks, U. Sattler, and S. Tobies. A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions. LTCS-Report LTCS-99-08, LuFG Theoretical Computer Science, RWTH Aachen, 1999. Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html .

[56] I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161180. Springer-Verlag, 1999.
http://www.cs.man.ac.uk/~horrocks/Publications/download/1999/lpar99.pdf

[57] Ian Horrocks. Implementation and optimization techniques. In The Description Logic Handbook: Theory, Implementation and Applications, pages 306346. Cambridge University Press, 2003.
http://www.dis.uniroma1.it/~nardi/dlhb/ . A fejezet kivonata .

[58] Ian Horrocks. Three Theses of Representation in the Semantic Web. In Proceedings of WWW2003, The Twelfth International World Wide Web Conference, pages 3947, Budapest, May 2003. Association for Computing Machinery.
http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p50-horrocks.pdf .

[59] Internet Archive. http://www.archive.org/ .

[60] ISO Prolog standard. http://pauillac.inria.fr/~deransar/prolog/ , 1995. ISO/IEC 13211-1.

[61] J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP system. In J.L. Lassez, editor, Logic Programming - Proceedings of the 4th International Conference, volume 1. MIT Press, Cambridge, MA, 1987.
http://citeseer.ist.psu.edu/context/234066/0 .

[62] Java Database Connectivity. http://java.sun.com/products/jdbc/ .

[63] Kiegészít? anyagok A szemantikus világháló elmélete és gyakorlata c. könyvhöz. http://www.cs.bme.hu/~szeredi/szemweb_konyv/ .

[64] Graham Klyne and Jeremy J. Carroll. Resource Description Framework (RDF) concepts and abstract syntax. W3C recommendation, January 2003.
A hivatkozott idopontban: http://www.w3.org/TR/2003/WD-rdf-concepts-20030123/ .
Legfrissebb: http://www.w3.org/TR/rdf-concepts/ .

[65] M. Koster. A method for web robots control. http://www.robotstxt.org/wc/norobots-rfc.html , 1996. Technical report, Internet Engineering Task Force (IETF).

[66] O. Lassila. Enabling semantic web programming by integrating rdf and common lisp. http://citeseer.ist.psu.edu/lassila01enabling.html , 2001.
http://www.semanticweb.org/SWWS/program/full/paper32.pdf .

[67] Dik L. Lee, Huei Chuang, and Kent Seamons. Document ranking and the vector-space model. IEEE Softw., 14(2):6775, 1997.
http://www.cs.ust.hk/faculty/dlee/Papers/ir/ieee-sw-rank.pdf .

[68] Gergely Lukácsy. RDF alapú források intelligens kezelése. Budapesti M?szaki és Gazdaságtudományi Egyetem, 2003. Diplomamunka.

[69] Massimo Marchiori. Metalog. http://www.w3.org/RDF/Metalog/ . Research paper.

[70] O. A. McBryan. GENVL and WWWW: Tools for taming the web. In In Proceedings of the 1st World-Wide Web Conference (WWW-1), pages 5867. Elsevier, 1994.
http://rgfn.epcc.edu/users/az821/www94.ps

[71] MetaMatrix System. http://www.metamatrix.com/technology/overview.html .

[72] Libby Miller, Andy Seaborne, and Alberto Reggiori. Three implementations of SquishQL, a simple RDF query language. In ISWC 02: Proceedings of the First International SemanticWeb Conference on The SemanticWeb, pages 423435. Springer-Verlag, 2002.
http://www.hpl.hp.com/techreports/2002/HPL-2002-110.pdf

[73] Model Driven Architecture. http://www.omg.org/mda/ .

[74] Graham Moore and Andy Seaborne. RDF Net API. http://www.w3.org/Submission/2003/SUBM-rdf-netapi-20031002/ .

[75] Ralf Möller. Expressive description logics: Foundations for practical applications, 2001. Habilitation Thesis.
http://www.sts.tu-harburg.de/~r.f.moeller/papers/papers.html#2001 .

[76] National Institute of Standards and Technology. Text REtrieval Conference. http://trec.nist.gov/ .

[77] Bernhard Nebel. Terminological cycles: Semantics and computational properties. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, 1991.
ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-posn91.ps.gz .

[78] Netscape. Open directory project. http://dmoz.org .

[79] N. Noy, R. Fergerson, and M. Musen. The knowledge model of Protege-2000: Combining interoperability and flexibility. http://citeseer.nj.nec.com/noy01knowledge.html , 2000.
http://www.springerlink.com/media/3846UVYYUL013Y2GNT2L/Contributions/F/F/4/9/FF4979945TXFVKKU.pdf .

[80] OMG IDL, July 1995. http://www.omg.org/cgi-bin/doc?formal/1998-12-01 .

[81] Lawrence Page, Sergey Brin, Rajeev Motwani, and Terry Winograd. The pagerank citation ranking: Bringing order to the web. Technical report, Stanford Digital Library Technologies Project, 1998. http://citeseer.ist.psu.edu/article/page98pagerank.html .
http://jamesthornton.com/search-engine-research/paper?paper_id=26 .

[82] Shelley Powers. Developing ASP Components. OReilly, 2001.

[83] Dave Raggett, Arnaud Le Hors, and Ian Jacobs. HTML 4.01 specification. W3C recommendation, December 1999.
http://www.w3.org/TR/REC-html40/ .

[84] U. Sattler. Description logics for ontologies. Technical report, Technical University Dresden, 2003. Habilitationsschrift.
http://www.cs.man.ac.uk/~sattler/publications/hschrift.ps .

[85] M. Schmidt-Schaubß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:126, 1991.

[86] Manfred Schmidt-Schaubß. Subsumption in KL-ONE is undecidable. In Proceedings of the first international conference on Principles of knowledge representation and reasoning, pages 421431, San Francisco, CA, USA, 1989.Morgan Kaufmann Publishers Inc.
http://www.ki.informatik.uni-frankfurt.de/papers/schauss/KLONE-UNDEC2004.pdf .

[87] SOAP version 1.2 part 1: Messaging framework, June 2003. http://www.w3.org/TR/2003/REC-soap12-part1-20030624/ .

[88] Stanford Logic Group. Knowledge interchange format. http://logic.stanford.edu/kif/kif.html .

[89] Danny Sullivan. Checking your listing in search engines. http://searchenginewatch.com/webmasters/article.php/2167861 , October 2001.

[90] Henry S. Thompson. XML Schema Part 1: Structures. W3C recommendation,October 2004.
http://www.w3.org/TR/xmlschema-1/ .

[91] Jeffrey D. Ullman és Jennifer Widom. Adatbázisrendszerek. Panem, 1998.

[92] Unified Modeling Language. http://www.uml.org/ .

[93] University of Aberdeen. Qubex. http://www.csd.abdn.ac.uk/research/AgentCities/QueryByExample/ .

[94] P. Varga, T. Meszaros, Cs. Dezsenyi, and T. P. Dobrowiecki. An ontology-based information retrieval system. In P. W. H. CHung, C. J. Hinde, and M. Ali, editors, Developments in Applied Artificial Intelligence, volume 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2003) of Lecture Notes in Artificial Intelligence, pages 359368. Springer Verlag, 2003.
Letöltés (springerlink) .

[95] WebSphere Business Integration Message Broker. http://www-306.ibm.com/software/integration/wbimessagebroker/ .

[96] Stuart Weibel, Jean Godby, Eric Miller, and Ron Daniel. OCLC/NCSA metadata workshop report. OCLC/NCSA Metadata Workshop, March 13, 1995, Dublin, Ohio USA, June 1995.
http://www.oasis-open.org/cover/metadata.html .

[97] Jan Wielemaker, Guus Schreiber, and Bob Wielinga. Prolog-based infrastructure for RDF: performance and scalability. In D. Fensel, K. Sycara, and J.Mylopoulos, editors, The Semantic Web - Proceedings ISWC03, Sanibel Island, Florida, pages 644658, Berlin, Germany, october 2003. Springer Verlag.
Letöltés (springerlink) .

[98] Yahoo! Inc. Yahoo! http://yahoo.com .

[1]	Sharon Adler. Extensive Stylesheet Language (XSL). http://www.w3.org/TR/xsl , 2001. W3C recommendation.
[2]	Aduna BV. Sesame. http://www.openrdf.org/.
[3]	Apache Software Foundation. Formatting object processor. http://xml.apache.org/fop/.
[4]	F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003. http://www.dis.uniroma1.it/~nardi/dlhb/ .
[5]	F. Baader and U. Sattler. Expressive number restrictions in description logics. Journal of Logic and Computation, 9(3):319350, 1999. http://cib.bau.tu-dresden.de/~michael/literatur/paper_general/expressive_number_restrictions_DL.pdf .
[6]	BEA Liquid Data. http://www.bea.com/framework.jsp?CNT=index.htm&FP=/content/products/liquid_data .
[7]	BEA WebLogic Integration. http://www.bea.com/framework.jsp?CNT=index.htm&FP=/content/products/integrate .
[8]	Sean Bechhofer. OWL web ontology language reference. W3C recommendation, February 2004. http://www.w3.org/TR/owl-ref/ .
[9]	Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens. OilEd: a reasonable ontology editor for the Semantic Web. In Proceedings of KI2001, Joint German/ Austrian conference on Artificial Intelligence, number 2174 in Lecture Notes in Computer Science, pages 396408, Vienna, September 2001. Springer-Verlag. http://potato.cs.man.ac.uk/papers/dl01-oiled.pdf .
[10]	Dave Beckett. RDF/XML syntax specification. W3C working draft, November 2002. http://www.w3.org/TR/2002/WD-rdf-syntax-grammar-20021108/ .
[11]	Dave Beckett. RDF/XML syntax specification (revised). W3C recommendation, February 2004. http://www.w3.org/TR/rdf-syntax-grammar/ .
[12]	Dave J. Beckett. The design and implementation of the redland RDF application framework. In World Wide Web, pages 449456, 2001. http://citeseer.ist.psu.edu/beckett01design.html . http://www.ilrt.bris.ac.uk/discovery/2001/02/redland/redland.pdf .
[13]	Tim Berners-Lee. Ideas about Web architecture yet another notation, Notation 3. http://www.w3.org/DesignIssues/Notation3.html , 1998.
[14]	Tim Berners-Lee, R. Fielding, U.C. Irvine, and L. Masinter. RFC2396. http://www.ietf.org/rfc/rfc2396.txt ,August 1998. UniformResource Identifiers (URI): Generic Syntax.
[15]	Alexander Borgida and Peter F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. JAIR, 1:277308, 1994. http://www-2.cs.cmu.edu/afs/cs/project/jair/pub/volume1/borgida94a.pdf .
[16]	Dan Brickley, R.V. Guha, and Brian McBride. RDF Vocabulary Description Language 1.0: RDF Schema. W3C recommendation, February 2004. http://www.w3.org/TR/rdf-schema/ .
[17]	Sergey Brin and Lawrence Page. The anatomy of a large-scale hypertextualWeb search engine. Computer Networks and ISDN Systems, 30(17):107117, 1998. http://citeseer.ist.psu.edu/brin98anatomy.html . http://www.mpi-sb.mpg.de/departments/d5/teaching/ws99_00/seminar-papers/bp98.ps .
[18]	brindsys. WinRSS. http://www.brindys.com/iuk/index.html . Syndicated news feeds reader.
[19]	Jamie Callan and Margaret Connell. Query-based sampling of text databases. ACM Trans. Inf. Syst., 19(2):97130, 2001. http://portal.acm.org/citation.cfm?id=383040 .
[20]	Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modeling. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems, pages 229264. Kluwer Academic Publisher, 1998. http://www.dis.uniroma1.it/~degiacom/didattica/esslli03/3-data-modeling.ps.gz .
[21]	Carnegie Group, Inc., Pittsburgh (Pennsylvania, U.S.A.). Carnegie Representation Language, 1986. Knowledge Craft Users Manual.
[22]	P. P. Chen. The entity-relational model: Toward a unified view of data. ACM Transactions an Database Systems, 1(1):936, 1976. http://portal.acm.org/ft_gateway.cfm?id=320440&type=pdf .
[23]	James Clark. XML Transformations (XSLT). http://www.w3.org/TR/xslt , 1999. W3C recommendation.
[24]	Willem Conradie. The Beth property for the modal logic of graded modalities, with an application to the description logic ALCQ. In Proceedings of the Eighth ESSLLI Student Session, pages 5968, 2003. http://www.wits.ac.za/sams03/samsAtoD.pdf .
[25]	Steve DeRose James Clark. XML Path Language (XPath). http://www.w3.org/TR/xpath , 1999. W3C recommendation.
[26]	A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. {log}: A Language for Programming in Logic with Finite Sets. Journal of Logic Programming, 28(1):144, 1996. ftp://ftp.dimi.uniud.it/pub/dovier/jlpsetlog.ps.gz .
[27]	Dublin Core Metadata Initiative. Dublin Core. http://dublincore.org/ .
[28]	Michael Eisfeld. Model construction for configuration design. In Proceedings of the Workshop of Applications of Description Logics. TechnicalUniversity of Dresden, Germany, 2002. http://cib.bau.tu-dresden.de/~michael/publications/AI_WS_aachen_2002.pdf .
[29]	Joseph E. Fasel Paul Hudak, John Peterson. A Gentle Introduction to Haskell 98, 1999. http://www.haskell.org/tutorial/ .
[30]	C. Fellbaum. Wordnet an electronic lexical database. http://citeseer.ist.psu.edu/lin98wordnet.html , 1998. Christiane Fellbaum, editor. 1998.Word-Net An Electronic Lexical Database. The MIT Press. Book review: 1 2.
[31]	Miklós Ferenczi. Matematikai Logika. M?szaki Könyvkiadó, Budapest, 2002.
[32]	Fourthought, Inc. 4suite: an open-source platform for XML and RDF processing. http://4suite.org .
[33]	N. Freed. RFC2045. http://www.faqs.org/rfcs/rfc2045.html ,November 1996. Multipurpose Internet Mail Extensions (MIME).
[34]	Th. Fruehwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Journal of Logic Programming, volume 37(13), pages 95138, October 1998. http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/jlp-chr1/jlp-chr1.html .
[35]	GALEN (Generalised Architecture for Languages, Encyclopaedias and Nomenclatures in Medicine). http://www.opengalen.org/ .
[36]	Google. Google Scholar. http://scholar.google.com/ .
[37]	R.V. Guha. rdfDB: An RDF database. http://guha.com/rdfdb .
[38]	Guha R.V and Patrick Hayes. LBase: Semantics for languages of the semantic web. W3C note, October 2003. http://mirrors.webthing.com/www.w3.org/TR/2003/NOTE-lbase-20030905/ .
[39]	R.V. Guha, Ora Lassila, Eric Miller, and Dan Brickley. Enabling inferencing. http://www.w3.org/TandS/QL/QL98/pp/enabling.html , 1998. W3C Query Languages meeting in Boston, December 3-4th 1998.
[40]	Volker Haarslev and RalfMöller. RACER Users Guide and ReferenceManual Version 1.7.19. Concordia University, Montreal, Canada, 2003. http://www.sts.tu-harburg.de/~r.f.moeller/racer/racer-manual-1-7-19.pdf .
[41]	David Hawking and Nick Craswell. Very large scale retrieval and web search. In Ellen Voorhees and Donna Harman, editors, TREC: Experiment and Evaluation in Information Retrieval. MIT Press, 2005. http://es.csiro.au/pubs/trecbook_for_website.pdf .
[42]	P. Hayes. RDF semantics, February 2004. W3C recommendation. http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ .
[43]	P. Hayes and C. Menzel. A semantics for the knowledge interchange format. In Proceedings of Workshop on the IEEE Standard Upper Ontology, 2001. http://reliant.teknowledge.com/IJCAI01/HayesMenzel-SKIF-IJCAI2001.pdf .
[44]	Y. L. Hedley, M. Younas, A. James, and M. Sanderson. A two-phase sampling technique for information extraction from hidden web databases. In WIDM 04: Proceedings of the 6th annual ACM international workshop on Web information and data management, pages 18. ACM Press, 2004. http://portal.acm.org/citation.cfm?id=1031456 .
[45]	Kevin Hemenway. Amphetadesk. http://www.disobey.com/amphetadesk/ . Syndicated news aggregator.
[46]	Hewlett-Packard Development Company. Jena toolkit. http://jena.sourceforge.net/ .
[47]	Bernhard Hollunder. Consistency checking reduced to satisfiability of concepts in terminological systems. Annals of Mathematics and Artificial Intelligence, 18:95131, 1996.
[48]	I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997. http://www.cs.man.ac.uk/~horrocks/Publications/download/1997/phd-2sss.ps.gz .
[49]	I. Horrocks. The FaCT system. In H. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux98, number 1397 in Lecture Notes in Artificial Intelligence, pages 307312. Springer- Verlag, 1998. http://www.cs.man.ac.uk/~horrocks/Publications/download/1998/t98-paper.ps.gz .
[50]	I. Horrocks and P.F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. Second International Semantic Web Conference (ISWC2003), 2003. http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/HoPa03b.pdf
[51]	I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. In Enrico Franconi, editor, 1998 International Workshop on Description Logics (DL98), 1998. ftp://www-lti.informatik.rwth-aachen.de/pub/reports/1998/HorrocksSattler-LTCS-98-05.ps.gz . (Megjegyzés: a letöltött fájl végér?l a .gz kiterjesztést átnevezéssel elhagyva a fájl .ps-ként megnyitható.)
[52]	I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001. http://www.cs.man.ac.uk/~horrocks/Publications/download/2001/ijcai01.pdf .
[53]	I. Horrocks and U. Sattler. Decidability of SHIQ with complex role inclusion axioms. LTCS-Report LTCS-02-06, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2002. http://www.cs.man.ac.uk/~horrocks/Publications/download/2002/HoSa02b.pdf .
[54]	I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002. http://www.cs.man.ac.uk/~horrocks/Publications/download/2002/HorrocksSattlerECAI2002.pdf .
[55]	I. Horrocks, U. Sattler, and S. Tobies. A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions. LTCS-Report LTCS-99-08, LuFG Theoretical Computer Science, RWTH Aachen, 1999. Revised version. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html .
[56]	I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161180. Springer-Verlag, 1999. http://www.cs.man.ac.uk/~horrocks/Publications/download/1999/lpar99.pdf
[57]	Ian Horrocks. Implementation and optimization techniques. In The Description Logic Handbook: Theory, Implementation and Applications, pages 306346. Cambridge University Press, 2003. http://www.dis.uniroma1.it/~nardi/dlhb/ . A fejezet kivonata .
[58]	Ian Horrocks. Three Theses of Representation in the Semantic Web. In Proceedings of WWW2003, The Twelfth International World Wide Web Conference, pages 3947, Budapest, May 2003. Association for Computing Machinery. http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p50-horrocks.pdf .
[59]	Internet Archive. http://www.archive.org/ .
[60]	ISO Prolog standard. http://pauillac.inria.fr/~deransar/prolog/ , 1995. ISO/IEC 13211-1.
[61]	J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP system. In J.L. Lassez, editor, Logic Programming - Proceedings of the 4th International Conference, volume 1. MIT Press, Cambridge, MA, 1987. http://citeseer.ist.psu.edu/context/234066/0 .
[62]	Java Database Connectivity. http://java.sun.com/products/jdbc/ .
[63]	Kiegészít? anyagok A szemantikus világháló elmélete és gyakorlata c. könyvhöz. http://www.cs.bme.hu/~szeredi/szemweb_konyv/ .
[64]	Graham Klyne and Jeremy J. Carroll. Resource Description Framework (RDF) concepts and abstract syntax. W3C recommendation, January 2003. A hivatkozott idopontban: http://www.w3.org/TR/2003/WD-rdf-concepts-20030123/ . Legfrissebb: http://www.w3.org/TR/rdf-concepts/ .
[65]	M. Koster. A method for web robots control. http://www.robotstxt.org/wc/norobots-rfc.html , 1996. Technical report, Internet Engineering Task Force (IETF).
[66]	O. Lassila. Enabling semantic web programming by integrating rdf and common lisp. http://citeseer.ist.psu.edu/lassila01enabling.html , 2001. http://www.semanticweb.org/SWWS/program/full/paper32.pdf .
[67]	Dik L. Lee, Huei Chuang, and Kent Seamons. Document ranking and the vector-space model. IEEE Softw., 14(2):6775, 1997. http://www.cs.ust.hk/faculty/dlee/Papers/ir/ieee-sw-rank.pdf .
[68]	Gergely Lukácsy. RDF alapú források intelligens kezelése. Budapesti M?szaki és Gazdaságtudományi Egyetem, 2003. Diplomamunka.
[69]	Massimo Marchiori. Metalog. http://www.w3.org/RDF/Metalog/ . Research paper.
[70]	O. A. McBryan. GENVL and WWWW: Tools for taming the web. In In Proceedings of the 1st World-Wide Web Conference (WWW-1), pages 5867. Elsevier, 1994. http://rgfn.epcc.edu/users/az821/www94.ps
[71]	MetaMatrix System. http://www.metamatrix.com/technology/overview.html .
[72]	Libby Miller, Andy Seaborne, and Alberto Reggiori. Three implementations of SquishQL, a simple RDF query language. In ISWC 02: Proceedings of the First International SemanticWeb Conference on The SemanticWeb, pages 423435. Springer-Verlag, 2002. http://www.hpl.hp.com/techreports/2002/HPL-2002-110.pdf
[73]	Model Driven Architecture. http://www.omg.org/mda/ .
[74]	Graham Moore and Andy Seaborne. RDF Net API. http://www.w3.org/Submission/2003/SUBM-rdf-netapi-20031002/ .
[75]	Ralf Möller. Expressive description logics: Foundations for practical applications, 2001. Habilitation Thesis. http://www.sts.tu-harburg.de/~r.f.moeller/papers/papers.html#2001 .
[76]	National Institute of Standards and Technology. Text REtrieval Conference. http://trec.nist.gov/ .
[77]	Bernhard Nebel. Terminological cycles: Semantics and computational properties. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, 1991. ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-posn91.ps.gz .
[78]	Netscape. Open directory project. http://dmoz.org .
[79]	N. Noy, R. Fergerson, and M. Musen. The knowledge model of Protege-2000: Combining interoperability and flexibility. http://citeseer.nj.nec.com/noy01knowledge.html , 2000. http://www.springerlink.com/media/3846UVYYUL013Y2GNT2L/Contributions/F/F/4/9/FF4979945TXFVKKU.pdf .
[80]	OMG IDL, July 1995. http://www.omg.org/cgi-bin/doc?formal/1998-12-01 .
[81]	Lawrence Page, Sergey Brin, Rajeev Motwani, and Terry Winograd. The pagerank citation ranking: Bringing order to the web. Technical report, Stanford Digital Library Technologies Project, 1998. http://citeseer.ist.psu.edu/article/page98pagerank.html . http://jamesthornton.com/search-engine-research/paper?paper_id=26 .
[82]	Shelley Powers. Developing ASP Components. OReilly, 2001.
[83]	Dave Raggett, Arnaud Le Hors, and Ian Jacobs. HTML 4.01 specification. W3C recommendation, December 1999. http://www.w3.org/TR/REC-html40/ .
[84]	U. Sattler. Description logics for ontologies. Technical report, Technical University Dresden, 2003. Habilitationsschrift. http://www.cs.man.ac.uk/~sattler/publications/hschrift.ps .
[85]	M. Schmidt-Schaubß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:126, 1991.
[86]	Manfred Schmidt-Schaubß. Subsumption in KL-ONE is undecidable. In Proceedings of the first international conference on Principles of knowledge representation and reasoning, pages 421431, San Francisco, CA, USA, 1989.Morgan Kaufmann Publishers Inc. http://www.ki.informatik.uni-frankfurt.de/papers/schauss/KLONE-UNDEC2004.pdf .
[87]	SOAP version 1.2 part 1: Messaging framework, June 2003. http://www.w3.org/TR/2003/REC-soap12-part1-20030624/ .
[88]	Stanford Logic Group. Knowledge interchange format. http://logic.stanford.edu/kif/kif.html .
[89]	Danny Sullivan. Checking your listing in search engines. http://searchenginewatch.com/webmasters/article.php/2167861 , October 2001.
[90]	Henry S. Thompson. XML Schema Part 1: Structures. W3C recommendation,October 2004. http://www.w3.org/TR/xmlschema-1/ .
[91]	Jeffrey D. Ullman és Jennifer Widom. Adatbázisrendszerek. Panem, 1998.
[92]	Unified Modeling Language. http://www.uml.org/ .
[93]	University of Aberdeen. Qubex. http://www.csd.abdn.ac.uk/research/AgentCities/QueryByExample/ .
[94]	P. Varga, T. Meszaros, Cs. Dezsenyi, and T. P. Dobrowiecki. An ontology-based information retrieval system. In P. W. H. CHung, C. J. Hinde, and M. Ali, editors, Developments in Applied Artificial Intelligence, volume 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2003) of Lecture Notes in Artificial Intelligence, pages 359368. Springer Verlag, 2003. Letöltés (springerlink) .
[95]	WebSphere Business Integration Message Broker. http://www-306.ibm.com/software/integration/wbimessagebroker/ .
[96]	Stuart Weibel, Jean Godby, Eric Miller, and Ron Daniel. OCLC/NCSA metadata workshop report. OCLC/NCSA Metadata Workshop, March 13, 1995, Dublin, Ohio USA, June 1995. http://www.oasis-open.org/cover/metadata.html .
[97]	Jan Wielemaker, Guus Schreiber, and Bob Wielinga. Prolog-based infrastructure for RDF: performance and scalability. In D. Fensel, K. Sycara, and J.Mylopoulos, editors, The Semantic Web - Proceedings ISWC03, Sanibel Island, Florida, pages 644658, Berlin, Germany, october 2003. Springer Verlag. Letöltés (springerlink) .
[98]	Yahoo! Inc. Yahoo! http://yahoo.com .