@article{allen84,
  author    = {J. F. Allen},
  title     = {Towards a general theory of action and time},
  journal   = {Artifical Intelligence},
  volume    = {23},
  year      = {1984},
  pages     = {123-154}
}



@inproceedings{be2004,
author = {V.R. Benjamins and J. Contreras and M. Bl\'{a}zquez and L. Rodrigo and P. Casanovas and M.  Poblet},
title ={The SEKT use legal case components: ontology and architecture},
editor={T.B. Gordon}, 
booktitle={Legal Knowledge and Information Systems},
publisher ={IOS Press, Amsterdam}, 
year =2004, 
pages ={69-77},
}

@inproceedings{be2005,
author ={V.R. Benjamins P. Casanovas and J.  Contreras and J. M.  L\'{o}pez-Cobo and L. Lemus},
title = {Iuriservice: An Intelligent Frequently Asked Questions System to Assist Newly Appointed Judges},
editor= {V.R. Benjamins et al},
booktitle ={Law and the Semantic Web},
publisher={Springer-Verlag, London, Berlin},
pages ={205-522},
year =2005,
}



@Techreport{sekt10-2-1,
author ={P. Casanovas and M.  Poblet and N. Casellas and J-J.  Vallb\'{e} and F. Ramos and V.R.  Benjamins and M. Bl\'{a}zquez and J. Contreras and J. Gorronogoitia},
title ={Legal Scenario. Case Study Intelligent Integrated Decision Support for Legal Professionals},
  INSTITUTION =  {SEKT},
  YEAR =         {2005},
  type =         {Project Report},
  number =       {Report D10.2.1},
}





@inproceedings{jointframework,
  AUTHOR =       {Peter Haase and  Frank van Harmelen and Zhisheng Huang and Heiner Stuckenschmidt and York Sure},
  TITLE =        {A Framework for Handling Inconsistency in Changing Ontologies},
  booktitle =  {Proceedings of ISWC2005},
  YEAR =         {2005},
}




@proceedings{ba2003,
  editor    = {Franz Baader and
               Diego Calvanese and
               Deborah L. McGuinness and
               Daniele Nardi and
               Peter F. Patel-Schneider},
  title     = {The Description Logic Handbook: Theory, Implementation, and Applications},
  booktitle = {Description Logic Handbook},
  publisher = {Cambridge University Press},
  year      = {2003},
  isbn      = {0-521-78176-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{ba2003b,
	author = {Franz Baader},
	title = {Extensions to Description Logics},
	editor    = {Franz Baader and
               Diego Calvanese and
               Deborah L. McGuinness and
               Daniele Nardi and
               Peter F. Patel-Schneider},
	booktitle = {Description Logic Handbook},
	publisher = {Cambridge University Press},
	pages = {226-268},
	year  = 2003,
}


@inproceedings{banerjee87,
author ={J. Banerjee and  W. Kim and H.-J. Kim and H. F. Korth},
year = {1987},
title ={Semantics and Implementation of Schema Evolution in Object-Oriented Databases},
booktitle ={SIGMOD Record (Proc. Conf. on Management of Data)}, 
series = 16,
number ={3},
pages ={311-322},
}

@inproceedings{be95, 
author ={Johan van Benthem}, 
title = {Temporal Logic},
booktitle ={Handbook of Logic in Artificial Intelligence and Logic Programming}, 
volume ={4},
publisher ={Oxford, Clarendon Press},
pages ={241-350}, 
year =1995,
}

@article{blackburn99, 
title = {Hybrid Languages and Temporal Logic},
 author = {P. Blackburn and M. Tzakova}, 
pages = {27--54},
 volume = {7}, 
number = {1},
 year = {1999},
 journal = {Logic Journal of the IGPL},
}

@article{blackburn03, 
title = {Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto}, 
author = {P. Blackburn},
 pages = {339--365},
 volume = {8},
 number = {3},
 year = {2000},
 journal = {Logic Journal of the IGPL},
}

@inproceedings{dig,
author = {Sean Bechhofer and Ralf M{\"o}ller and Peter Crowther},
title = {The \uppercase{DIG} Description Logic Interface},
booktitle = {International Workshop on Description Logics (DL2003)}, 
publisher ={Rome}, 
month ={September},
year = 2003,
}

@article{po05,
author ={Pompeu Casanovas and Marta Poblet and Nuria Casellas and Jes\'{u}s Contreras and Richard Benjamins and Mercedes Bl\'{a}zquez}, 
title ={Supporting newly-appointed judges: A legal knowledge management case study},
journal ={Journal of Knowledge Management}, 
year ={2005},
}


@article{carr94,
  author    = {L.A. Carr and D. W. Barron and H.D. Davis and W. Hall},
  title     = {Why use HyTime},
  journal   = {Electronic Publishing},
  volume    = {7},
   number = {3},
  year      = {1994},
  pages     = {163-178}
}

@book{cgp99,
author ={Edmund M. Clarke and Orna Grumberg and Doron A. Peled},
title = {Model Checking}, 
publisher ={The MIT Press, Cambridge, Massachusetts}, 
year =1999,
}

@inproceedings{co04,
author ={E. Compatangelo and  W. Vasconcelos and B. Scharlau}, 
title ={Managing ontology versions with a distributed blackboard architecture},
booktitle ={Proceedings of the 24th Int Conf. of the British Computer Societys Specialist Group on Artificial Intelligence (AI2004)},
publisher ={Springer-Verlag}, 
year ={2004},
}


@inproceedings{racer,
author ={Volker Haarslev and Ralf M\"{o}ller},
title ={Description of the RACER System and its Applications},
booktitle ={Proceedings of the International Workshop on Description Logics (DL-2001)},
publisher = {Stanford, USA},
month ={August}, 
year ={2001},
pages = {132-141},
}

@incollection{harel84dynamic,
    author = "D. Harel",
    title = "Dynamic Logic",
    booktitle = "Handbook of Philosophical Logic Volume {II} --- Extensions of Classical Logic",
    publisher = "D.~Reidel Publishing Company: Dordrecht, The Netherlands",
    editor = "D. Gabbay and F. Guenther",
    pages = "497--604",
    year = "1984",
}

@inproceedings{HefflinHendler2000,
author={J. Heflin and J. Hendler},
year = 2000,
title ={Dynamic ontologies on the web},
booktitle ={Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000)}, 
pages= {443-449},
publisher ={AAAI/MIT Press, Menlo Park, CA.},
}


@article{ho2004,
author={Jerry R. Hobbs and Feng Pan},
title = {An Ontology of Time for the Semantic Web},
journal = {ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing}, 
Volume ={3}, 
number ={1}, 
year=2004,
pages ={66-85}
}

@inproceedings{fact,
author ={I. Horrocks}, 
title ={FaCT and iFaCT}, 
booktitle ={Proceedings
of the International Workshop on Description Logics (DL'99)}, 
pages ={133-135}, 
year =1999,
}

@techreport{hu2004,
author ={Zhisheng Huang and Cees Visser}, 
title = {Extended \uppercase{DIG} Description Logic Interface Support for \uppercase{Prolog}}, 
type = {Deliverable},
institution ={SEKT},
number = {D3.4.1.2},
year = 2004
}


@techreport{sekt361,
author ={Stefan Schlobach and Zhisheng Huang}, 
title = {Inconsistent Ontology Diagnosis: Framework and Prototype}, 
type = {Deliverable},
institution ={SEKT},
number = {D3.6.1},
year = 2005,
note          = {URL = http://www.cs.vu.nl/{\tt\string~}huang/sekt/sekt361.pdf},
}


@article{Horrocks99m,
    author = {I. Horrocks and U. Sattler and S. Tobies},
    title = {Practical Reasoning for Very Expressive Description Logics},
    journal = {Logic Journal of the IGPL},
    volume = {8},
    number = {3},
    pages = {239-263},
    year = 2000
}

@techreport{lw04,
author ={Pieter De Leenheer and Carlo Wouters}, 
title ={Requirements for Versioning Tool}, 
number ={OMWG D6.1}, 
type ={DERI OMWG Working Draft},
year =2004,
}

@inproceedings{le04,
auhtor ={Pieter De Leenheer}, 
title ={Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting},
booktitle = {Proceedings of the OTM 2004 Workshops}, 
publisher ={Springer Verlag},
year =2004,
}

@book{ru71,
author ={N. Rescher and A. Urquhart},
title ={Temporal Logic}, 
publisher ={Springer-Verlag}, 
year ={1971},
}


@inproceedings{haase05evolution,
 author = {P. Haase and L. Stojanovic},
 title = {Consistent Evolution of OWL Ontologies},
 booktitle = {Proceedings of the Second European Semantic Web Conference, Heraklion, Greece, 2005},
 month = {MAY},
 url = {\url{http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/owlevolution05eswc.pdf}},
 year = {2005},
}

@inproceedings{conf/hdms/Flouris04,
  author    = {Giorgos Flouris},
  title     = {Belief Change in Arbitrary Logics},
  booktitle = {HDMS},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Article{HoPa04making,
    author = "I. Horrocks and P. F. Patel-Schneider and F. van Harmelen",
    title = "{From SHIQ and RDF to OWL: The Making of a Web Ontology Language }",
    journal = "Journal of Web Semantics",
    year = "2003",
    volume = "1",
    number = "1"
}


@Article{HoPa04reducing,
    author = "I. Horrocks and P. F. Patel-Schneider",
    title = "{Reducing OWL Entailment to Description Logic Satisfiability}",
    journal = "Journal of Web Semantics",
    year = "2004",
    volume = "1",
    number = "4"
}


@PHDTHESIS{klein04,
  AUTHOR =       {M. Klein},
  TITLE =        {Change Management for Distributed Ontologies},
  SCHOOL =       {Vrije Universiteit Amsterdam},
  YEAR =         {2004},
  type =         {PhD Thesis},
}

@ARTICLE{noy,
  AUTHOR =       {N.F. Noy and M.A. Musen},
  TITLE =        {The PROMPT Suite: Interactive Tools For Ontology Merging And Mapping},
  JOURNAL =      {International Journal of Human-Computer Studies},
  YEAR =         {2003},
  volume =       {59},
  number =       {6},
  pages =        {983-1024},
}

@PHDTHESIS{stojanovic,
  AUTHOR =       {L. Stojanovic},
  TITLE =        {Methods and Tools for Ontology Evolution},
  SCHOOL =       {University of Karlsruhe},
  YEAR =         {2003},
  type =         {PhD Thesis},
}

@INPROCEEDINGS{stuckenschmidt03integrity,
  AUTHOR =       {H. Stuckenschmidt and M. Klein},
  TITLE =        {Integrity and Change in Modular Ontologies},
  BOOKTITLE =    {Proceedings of IJCAI2003},
  YEAR =         {2003},
  address =      {Acapulco, Mexico},
  publisher =    {Morgan Kaufmann}
}

@INPROCEEDINGS{schlobach,
  AUTHOR =       {S. Schlobach and R. Cornet},
  TITLE =        {Non-standard reasoning services for the debugging of description logic terminologies},
  BOOKTITLE =    {Proceedings of IJCAI2003},
  YEAR =         {2003},
  address =      {Acapulco, Mexico},
  publisher =    {Morgan Kaufmann}
}

@PHDTHESIS{heflin01PhD,
  AUTHOR =       {J. Heflin},
  TITLE =        {Towards the Semantic Web: Knowledge Representation in a
Dynamic, Distributed Environment},
  SCHOOL =       {University of Maryland},
  YEAR =         {2001},
  type =         {PhD Thesis},
}

@INPROCEEDINGS{hp04,
  AUTHOR =       {J. Heflin and Z. Pan},
  TITLE =        {A Model Theoretic Semantics for Ontology Versioning},
  BOOKTITLE =    {Proceedings of ISWC2004},
  YEAR =         {2004},
  pages =        {62--76},
  address =      {Hiroshima, Japan},
  publisher =    {Springer},
}

@TECHREPORT{owl,
  AUTHOR =       {D. McGuinness and F. van Harmelen},
  TITLE =        {OWL Web Ontology Language},
  INSTITUTION =  {W3C},
  YEAR =         {2004},
  type =         {Recommendation},
  note =         {http://www.w3.org/TR/owl-features/},

}

@TECHREPORT{huang0,
  AUTHOR =       {Z. Huang  and F. van Harmelen and   A. ten Teije and  P. Groot and C. Visser},
  TITLE =        {Reasoning with Inconsistent Ontologies: a general framework},
  INSTITUTION =  {SEKT},
  YEAR =         {2004},
  type =         {Project Report},
  number =       {D3.4.1},
}

@INPROCEEDINGS{huangijcai05,
  AUTHOR =       {Z. Huang and F. van Harmelen and A. ten Teije},
  TITLE =        {Reasoning with Inconsistent Ontologies},
  BOOKTITLE =    {Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI'05},
  YEAR =         {2005},
}

@article{Hendler01,
  author	= {James Hendler},
  title		= {Agents and the semantic web},
  journal	= {IEEE Intelligent Systems Journal},
  year		= {2001},
  volume	= {16},
  number	= {2},
  
}


@TECHREPORT{sekt351,
  AUTHOR =       {Z. Huang and H. Stuckenschmidt},
  TITLE =        {Reasoning with Multiversion Ontologies},
  INSTITUTION =  {SEKT},
  YEAR =         {2005},
  type =         {Project Report},
  number =       {Deliverable D3.5.1},
}

@inproceedings{huang-iswc05,
  AUTHOR =       {Z. Huang and H. Stuckenschmidt},
  TITLE =        {Reasoning with Multiversion Ontologies: a temporal logic approach},
  booktitle =    {Proceedings of the  2005 International Semantic Web Conference (ISWC2005)},
  YEAR =         {2005},
}


@TECHREPORT{Oiled,
  AUTHOR =       {S. Bechhofer},
  TITLE =        {FaCT and OilEd Clients},
  INSTITUTION =  {WonderWeb },
  YEAR =         {2003},
  type =         {Project Report},
}

@article{roddick95,
author ={J. F. Roddick},
year= 1995,
title = {A survey of schema versioning issues for database systems},
journal = {Information and Software Technology}, 
volume = 37,
number =7,
pages ={383-393},
}


@TECHREPORT{sekt311,
  AUTHOR =       {Peter Haase and York Sure and Denny Vrandecic},
  TITLE =        {Ontology Management and Evolution - Survey, Methods and Prototypes},
  INSTITUTION =  {SEKT},
  YEAR =         {2004},
  type =         {Project Report},
  number =       {D3.1.1},
}

@book{Gardenfors88,
author = {P. G\"ardenfors},
title = {Knowledge in flux},
publisher = {MIT Press, Cambridge},
year = {1988} 
}

@article{ohlbach98,
author ={Hans Jurgen Ohlbach and Dov Gabbay},
year= 1998,
title = {Calendar Logic},
journal = {Journal of Applied Non-classical Logics}, 
volume = 8,
number =4,
pages ={291-324},
}


@article{Reiter87,
  author    = {R. Reiter},
  title     = {A Theory of Diagnosis from First Principles.},
  journal   = {Artif. Intelligence},
  volume    = {32},
  number    = {1},
  year      = {1987},
  pages     = {57-95}
}


@inproceedings{pan05,
author={Feng Pan and Jerry Hobbs},
year = 2005,
title={Temporal Aggregates in OWL-Time},
booktitle= {Proceedings of the 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2005)},  
pages={560-565}, 
publisher={AAAI Press},
}

@inproceedings{pan05a,
author={Feng Pan},
year= 2005,
title = {A Temporal Aggregates Ontology in OWL for the Semantic Web},
booktitle ={Proceedings of the AAAI Fall Symposium on Agents and the Semantic Web},
}


@article{hobbs04,
author = {Jerry R. Hobbs and Feng Pan},
title ={An Ontology of Time for the Semantic Web},
journal={ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing},
volume={3}, 
number={1}, 
pages= {66-85},
year=2004,
}

@inproceedings{hobbs02,
author={Jerry Hobbs and James Pustejovsky},
year={2002},
title={Annotating and Reasoning about Time and Events},
booktitle={Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning},
publisher={Stanford, CA, March 2003},
}

@techreport{timeml04,
  author =       {James Pustejovsky and Robert Ingria and Roser Sauri and Jose Castano and Jessica Littman and Rob Gaizauskas and Andrea Setzer and Graham Katz and Inderjeet Mani},
  title =        {The Specification Language TimeML},
  institution =  {University of Sheffield},
  year =         {2004},
  type =         {Report},
  bibsource =   {http://complingone.georgetown.edu/$\sim$linguist/papers/TimeML.pdf},
}


@inproceedings{gu05,
author= {C. Gutierrez and C. Hurtado and  A. Vaisman},  
title ={Temporal RDF},
booktitle ={the Proceedings of European Semantic Web Conference (ESWC2005), Lecture Notes in Computer Science 3532},
year={2005}, 
pages={93-107},
}

@manual{QUINTUS:manual,
        key = "Quintus",
        title = "Quintus Prolog, User Guide and Reference Manual",
        institution = "AI International ltd.",
        address = "Berkhamsted, UK",
        year = 1997,
        note = "" }

@manual{SWI-Prolog:manual,
	author = "J. Wielemaker",
	title = "{SWI-Prolog 5.6}: Reference Manual",
	organization = "{SWI}, University of Amsterdam",
	address = "Kruislaan 419, 1098 VA Amsterdam, The Netherlands",
	year = 	"1997-2006",
	url  = "http://www.swi-prolog.org/documentation.html",
	note = "E-mail: jan@swi-prolog.org"
	}

@manual{SICStus:manual,
	author = "M. Carlsson and J. Wid{\'e}n and J. Andersson and
	          S. Anderson and K. Boortz and H. Nilson and
		  T. Sj{\"o}land",
	title = "{SICStus Prolog (v3)} Users's Manual",
	organization = "SICS",
	address = "PO Box 1263, S-164 28 Kista, Sweden",
	year = 	"1995",
	}


@manual{BIMPROLOG:manual,
        key = "BIM",
        title = "BIM Prolog release 2.4",
        institution = "BIM sa/nv",
        address = "Everberg, Belgium",
        year = 1989,
        note = "" }

@manual{ CPROLOG:manual,
        author = "F. Pereira",
        title = "C-Prolog User's Manual",
        institution = "EdCaad, University of Edinburgh",
        year = 1986,
        note = "" }


@Book{Kernighan:78,
  author =       "B. W. Kernighan and D. M. Ritchie",
  title =        "The {C} Programming Language",
  publisher =    "Prentice-Hall",
  year =         1978,
  address =      "Englewood Cliffs, New Jersey",
}

@TechReport{Warren:83b,
  author =       "D. H. D. Warren",
  title =        "The runtime environment for a Prolog compiler using a
                 copy algorithm",
  institution =  "SUNY and Stone Brook, New York",
  year =         1983,
  number =       "83/052",
  note =         "Major revision March 1984",
}


@manual{XPCE:online,
	author = "J. Wielemaker",
	title = "{XPCE-5} online manual",
	organization = "{HCS}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1992",
	note = 	"Software started by ``manpce'' in XPCE/Prolog."
	}


@manual{XPCE:reference,
	author = "J. Wielemaker and A. Anjewierden",
	title = "{XPCE-6} Reference Manual",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1993-2003",
	note = 	"Paper version of online manual."
	}


@manual{XPCE:prolog,
	author = "J. Wielemaker and A. Anjewierden",
	title = "Programming in {XPCE/Prolog}",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1992",
	note = 	"E-mail: jan@swi.psy.uva.nl"
	}

@manual{XPCE:lisp,
	author = "A. Anjewierden",
	title = "{XPCE/Lisp}: {XPCE Common Lisp} Interface",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1992",
	note = 	"E-mail: anjo@swi.psy.uva.nl"
	}

@manual{XPCE:cpp,
	author = "J. Wielemaker and A. Anjewierden",
	title = "A {C++} interface for {XPCE}",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1994",
	note = 	"E-mail: jan@swi.psy.uva.nl"
	}

@manual{XPCE:course,
	author = "J. Wielemaker",
	title = "{XPCE/Prolog} Course Notes",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1994",
	note = 	"E-mail: jan@swi.psy.uva.nl"
	}

@manual{XPCE:draw,
	author = "J. Wielemaker",
	title = "{PceDraw}: An example of using {XPCE-4}",
	organization = "{SWI}, University of Amsterdam",
	address = "Roetersstraat 15, 1018 WB Amsterdam, The Netherlands",
	year = 	"1992",
	note = 	"E-mail: jan@swi.psy.uva.nl"
	}

@inproceedings{Anjewierden:90b,
	author = "A. Anjewierden and J. Wielemaker and C. Toussaint",
	title = "Shelley --- Computer Aided Knowledge Engineering",
	booktitle = "{Current trends in knowledge acquisition}",
	year = 1990,
	editor = "B. Wielinga and J. Boose and B. Gaines and G. Schreiber
                 and M. van Someren",
	pages = "41 - 59",
	publisher = "IOS Press",
	address = "Amsterdam",
	month = "May"}

@InProceedings{Wielemaker:89,
  author =       "J. Wielemaker and A. Anjewierden",
  title =        "{Separating User Interface and Functionality Using a
                 Frame Based Data Model}",
  year =         "1989",
  pages =        "25--33",
  month =        nov,
  publisher =    "ACM Press",
  booktitle =    "Proceedings Second Annual Symposium on User Interface
                 Software and Technology",
  address =      "Williamsburg, Virginia",
}

@article{carlson:98,
  author =       "Karen Appleby and Mats Carlsson and Seif Haridi and Dan Sahlin",
  title =        "Garbage Collection for {Prolog} Based on {WAM}",
  year =         "1988",
  volume =       "31",
  number =       "6",
  pages =        "719--741",
  publisher =    "ACM Press",
  journal =      "Communications of the ACM"
}

@article{chambers:89,
	journal = "Sigplan Notices",
	author = "Craig Chambers and David Ungar and Elgin Lee",
	title = "An efficient implementation of {SELF}, a dynamic-typed object-oriented language based on prototypes",
	year = "1989",
	volume = "24",
	number = "10",
	month = "Oct",
	pages = "49-70"}

@book{Goldberg:83a,
	author = "A. Goldberg and D. Robson",
	title = "{Smalltalk--80: The Language and its Implementation}",
	publisher = "Addison-Wesley",
	year = 1983}

@book{Keefe:90,
  author =       "R. A. O'Keefe",
  title =        "The Craft of Prolog",
  publisher =    "MIT Press",
  year =         "1990",
  address =      "Massachussetts",
}

@InProceedings{Bowen:83,
  author =       "D. L. Bowen and L. M. Byrd",
  title =        "A portable {Prolog} compiler",
  booktitle =    "Proceedings of the Login Programming Workshop 1983",
  editor =       "L. M. Pereira",
  publisher =    "Universidade nova de Lisboa",
  address =      "Lisabon, Portugal",
  year =         1983,
}

@techreport{P1098:C1.6,
        author = "A. Anjewierden and J. Wielemaker",
        title =  "Extensible Objects",
        institution = "University of Amsterdam",
        year = 1989,
        month = "March",
        type = "ESPRIT Project 1098 Technical Report",
        number = "UvA-C1-TR-006a",
        address = "",
        note = ""
        }

@Book{Bratko:86,
  author =       "I. Bratko",
  title =        "Prolog Programming for Artificial Intelligence",
  publisher =    "Addison-Wesley",
  year =         1986,
  address =      "Reading, Massachusetts",
}

@Book{Clocksin:87,
  author =       "W. F. Clocksin and C. S. Melish",
  title =        "Programming in Prolog",
  publisher =    "Springer-Verlag",
  year =         1987,
  address =      "New York",
  edition =      "{T}hird, {R}evised and {E}xtended",
}

@Book{Sterling:86,
  author =       "L. Sterling and E. Shapiro",
  title =        "The Art of Prolog",
  publisher =    "MIT Press",
  year =         1986,
  address =      "Cambridge, Massachusetts",
}

@Book{Deransart:96,
  author =       "P. Deransart and A. Ed-Dbali and L. Cervoni",
  title =        "Prolog: The Standard",
  publisher =    "Springer-Verlag",
  year =         1996,
  address =      "New York"
}

@Misc{stdprolog:98,
  author = "Jonathan Hodgson",
  title  = "validation suite for conformance with Part 1 of the standard",
  year   = 1998,
  url    = "http://www.sju.edu/{\tt\string~}jhodgson/pub/suite.tar.gz"
}

@Book{Butenhof:1997:PPT,
  author =       "David R. Butenhof",
  title =        "Programming with {POSIX} threads",
  publisher =    "Ad{\-d}i{\-s}on-Wes{\-l}ey",
  address =      "Reading, MA, USA",
  pages =        "xviii + 381",
  year =         "1997",
  ISBN =         "0-201-63392-2",
  LCCN =         "QA76.76.T55B88 1997",
  bibdate =      "Mon Sep 01 08:53:12 1997",
  price =        "US\$31.95",
  url =          "http://www.amazon.com/exec/obidos/ASIN/0201633922/ref=sim_books/002-4892305-5599452",
  acknowledgement = ack-nhfb,
}

@inproceedings{graham82gprof,
  author = "Susan L. Graham and Peter B. Kessler and Marshall K. McKusick",
  title = "gprof: a Call Graph Execution Profiler",
  booktitle = "{SIGPLAN} Symposium on Compiler Construction",
  pages = "120-126",
  year = "1982",
  url = "citeseer.nj.nec.com/graham82gprof.html"
}

@inproceedings{sicstusmt98,
	author = {Jesper Eskilson and Mats Carlsson},
	title = "{SICStus MT}---A Multithreaded Execution Environment for {SICStus Prolog}",
	booktitle = "Programming Languages: Implementations, Logics, and Programs",
	editor = "C. Palamidessi and H. Glaser and K. Meinke",
	series = "Lecture Notes in Computer Science",
	volume = "1490",
	publisher = "Springer-Verlag",
	pages = "36--53",
	year = 1998
}

@Article{Herlihy:1993:MIH,
  author =       "Maurice Herlihy",
  title =        "A Methodology for Implementing Highly Concurrent Data
                 Objects",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "15",
  number =       "5",
  pages =        "745--770",
  month =        nov,
  year =         "1993",
  coden =        "ATPSDT",
  ISSN =         "0164-0925",
  bibdate =      "Fri Jan 5 07:58:42 MST 1996",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0164-0925/161469.html"
}

@InProceedings{DAI98*137,
  author =       "Keith Clark and Peter J. Robinson and Richard Hagen",
  title =        "Programming Internet Based {DAI} Applications in
                 {Qu-Prolog}",
  pages =        "137--151",
  ISBN =         "3-540-65477-1",
  editor =       "Chengqi Zhang and Dickson Lukose",
  booktitle =    "Proceedings of the 4th Australian Workshop on
                 Distributed Artificial Intelligence on Multi-Agent
                 Systems : Theories, Languages, and Applications
                 ({DAI}-98)",
  month =        jul # "~13--13",
  series =       "LNAI",
  volume =       "1544",
  publisher =    "Springer",
  address =      "Berlin",
  year =         "1998",
}

@inproceedings{ carro99concurrency,
    author = "Manuel Carro and Manuel V. Hermenegildo",
    title = "Concurrency in {Prolog} Using Threads and a Shared Database",
    booktitle = "International Conference on Logic Programming",
    pages = "320-334",
    year = "1999"
}

@Article{Carriero:1989:LC,
  author =       "Nicholas Carriero and David Gelernter",
  title =        "{Linda} in context",
  journal =      "Communications of the ACM",
  volume =       "32",
  number =       "4",
  pages =        "444--458",
  month =        apr,
  year =         "1989",
  coden =        "CACMA2",
  ISSN =         "0001-0782",
  bibdate =      "Thu May 30 09:41:10 MDT 1996",
  url =          "http://www.acm.org/pubs/toc/Abstracts/0001-0782/63337.html",
  abstract =     "How can a system that differs sharply from all
                 currently fashionable approaches score any kind of
                 success? Here's how.",
  acknowledgement = ack-nhfb,
  keywords =     "languages; performance",
  review =       "ACM CR 9005-0390",
  subject =      "{\bf D.3.2}: Software, PROGRAMMING LANGUAGES, Language
                 Classifications, Linda. {\bf D.1.3}: Software,
                 PROGRAMMING TECHNIQUES, Concurrent Programming. {\bf
                 D.3.3}: Software, PROGRAMMING LANGUAGES, Language
                 Constructs and Features.",
}

@Book{Conl89a,
  author =       "T. Conlon",
  title =        "Programming in Parlog",
  publisher =    "Addison-Wesley",
  year =         "1989",
  keywords =     "prolog",
}

@article{bagnara:02a,
	journal = "ALP newsletter",
	author = "Roberto Bagnara and Manuel Carro",
	title = "Foreign Language Interfaces for {Prolog}: A Terse Survey",
	year = "2002",
	month = "Mey"
}

@InProceedings{Bosschere:ICLP93,
  author =       "Koen de Bosschere and Jean-Marie Jacquet",
  title =        "Multi-{Prolog}: Definition, Operational Semantics and
                 Implementation",
  pages =        "299--313",
  remark =       "Parallel Implementations 2",
  booktitle =    "Proceedings of the Tenth International Conference on
                 Logic Programming",
  year =         "1993",
  editor =       "David S. Warren",
  publisher =    "The MIT Press",
  address =      "Budapest, Hungary",
  ISBN =         "0-262-73105-3",
}

@inproceedings{Wielemaker:02a,
        author = "Jan Wielemaker and Anjo Anjewierden ",
        title = "An Architecture for Making Object-Oriented Systems Available from {Prolog}",
        booktitle = "Computer Science, abstract",
        year = 2002,
        editor = "Alexandre Tessier",
	note = "http://lanl.arxiv.org/abs/cs.SE/0207053"}

@InProceedings{BYRD80A,
  key =          "Byrd",
  author =       "Lawrence Byrd",
  title =        "Understanding the control flow of {Prolog} programs",
  booktitle =    "Proceedings of the Logic Programming Workshop",
  editor =       "S.-A. Tarnlund",
  year =         "1980",
  pages =        "127--138",
  keywords =     "Debugging; control flow; box model",
  bibdate =      "Tue Jul 5 15:27:23 1983",
}


@Book{PereiraShieber87,
  author =       "Fernando C. N. Pereira and Stuart M. Shieber",
  title =        "{Prolog} and Natural-Language Analysis",
  publisher =    "Center for the Study of Language and Information",
  note =         "Distributed by Chicago University Press",
  address =      "Stanford, California",
  year =         "1987",
  series =       "Number 10 in CSLI Lecture Notes",
}

@techreport{Demoen:CW350,
  author        = "Bart Demoen",
  title         = {{D}ynamic attributes, their h{P}rolog implementation, and a first evaluation},
  institution   = {Department of Computer Science, K.U.Leuven},
  year          = {2002},
  type          = {Report CW},
  number        = {350},
  address       = {Leuven, Belgium},
  month         = {oct},
  note          = {URL = http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW350.abs.html},
}

@techreport{holzbaur:1992,
  author        = "Christian Holzbaur",
  title         = {Realization of forward checking in logic programming
		   through extended unification},
  institution   = {Oesterreichisches Forschungsinstitut fuer
		   Artificial Intelligence},
  year          = {1990},
  type          = {Report},
  number        = {TR-90-11},
  address       = {Wien, Austria},
}

@inproceedings{Freuhwirth:98,
  author        = {T. Fr\"uhwirth},
  title         = {{Theory and Practice of Constraint Handling Rules}},
  booktitle     = {Special Issue on Constraint Logic Programming},
  journal       = {Journal of Logic Programming},
  editor        = {P. Stuckey and K. Marriot},
  volume        = {37},
  edition       = {1--3},
  year          = {1998},
  month         = {October}
}

@misc{chrSite,
      author	= {T. Fr\"uhwirth},
      title	= "{Thom Fruehwirth's} constraint handling rules website",
      note	= "http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html"
     }

@InProceedings{Wielemaker:03a,
               author = "Jan Wielemaker and Guus Schreiber and Bob Wielinga",
               title = "{Prolog}-based infrastructure for {RDF}:
	                performance and scalability",
               booktitle = "The Semantic Web - Proceedings ISWC'03,
	                   Sanibel Island, Florida",
	       pages = "644-658",
               publisher = "Springer Verlag",
	       editor = "D. Fensel and K. Sycara and J. Mylopoulos",
               address = "Berlin, Germany",
               year = "2003",
	       month = "october",
               note = "LNCS 2870"
              }

@InProceedings{Wielemaker:03b,
               author = "Jan Wielemaker",
               title = "An overview of the {SWI-Prolog} Programming Environment",
               booktitle = "Proceedings of the 13th International Workshop
	                    on Logic Programming Environments",
	       pages = "1-16",
	       editor = "Fred Mesnard and Alexander Serebenik",
               publisher = "Katholieke Universiteit Leuven",
               address = "Heverlee, Belgium",
               year = "2003",
	       month = "december",
               note = "CW 371"
              }

@InProceedings{Wielemaker:03c,
               author = "Jan Wielemaker",
               title = "Native Preemptive Threads in {SWI-Prolog}",
               booktitle = "Practical Aspects of Declarative Languages",
	       editor = "Catuscia Palamidessi",
	       pages = "331-345",
               publisher = "Springer Verlag",
               address = "Berlin, Germany",
               year = "2003",
	       month = "december",
               note = "LNCS 2916"
              }

@InProceedings{ILP03-Struyf,
  author =       "J. Struyf and H. Blockeel",
  title =        "Query Optimization in Inductive Logic Programming by
                 Reordering Literals",
  booktitle =    "Proceedings of the 13th International Conference on
                 Inductive Logic Programming",
  series =       "Lecture Notes in Artificial Intelligence",
  volume =       "2835",
  editor =       "T.~Horv\'{a}th and A.~Yamamoto",
  publisher =    "Springer-Verlag",
  year =         "2003",
  ISBN =         "3-540-20144-0",
  pages =        "329--346",
}

@article{gooley:89,
	 author = "Markian M. Googley and Benjamin W. WAH",
	 title = "Efficient Reordering of {PROLOG} Programs",
	 journal = "IEEE Transactions on Knowledge and Data Engineering",
	 author = "Roberto Bagnara and Manuel Carro",
	 volumne = "1",
	 pages = "470--482",
	 year = "1989"
}

@inproceedings{escalante:cascon93,
 author = {Carlos Escalante},
 title = {A simple model of prolog's performance: extensional predicates},
 booktitle = {CASCON '93: Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research},
 year = {1993},
 pages = {1119--1132},
 location = {Toronto, Ontario, Canada},
 publisher = {IBM Press},
 }


@inproceedings{oai:CiteSeerPSU:36493,
  title =        "{XSB}: {A} System for Efficiently Computing
                 Well-Founded Semantics",
  booktitle=	"Proceedings of LPNMR 97",
  author =       "Juliana Freire and David S. Warren and
                 Konstantinos Sagonas and Prasad Rao and Terrance Swift",
  pages=	 "430--440",
  year =         "1997",
  month =        "jan",
  publisher = "Springer Verlag",
  address = "Berlin, Germany",
  note = "LNCS 1265"
}

@inproceedings{Schrijvers:chr04,
  title =        "The {K.U. Leuven CHR} system: implementation and application",
  booktitle=	"First Workshop on Constraint Handling Rules: Selected Contributions",
  author =       "Tom Schrijvers and Bart Demoen",
  editor = 	 "Thom {Fr\"uhwirth} and Marc Meister",
  pages=	 "430--440",
  year =         "2004",
  note = "ISSN 0939-5091"
}

@Article{journals/corr/cs-DC-0312031,
  title =	"Distributed {WWW} Programming using (Ciao-)Prolog and
		 the Pi{LL}o{W} library",
  author =	"Daniel Cabeza and Manuel V. Hermenegildo",
  journal =	"CoRR",
  year = 	"2003",
  volume =	"cs.DC/0312031",
  bibdate =	"2004-05-18",
  bibsource =	"DBLP,
		 http://dblp.uni-trier.de/db/journals/corr/corr0312.html#cs-DC-0312031",
  URL =  	"http://arxiv.org/abs/cs.DC/0312031",
}

@inproceedings{Eclipse-http,
  title = {Towards {ECLiPSe} Agents on the INTERNET},
  author = {L. Leth and Ph. Bonnet and S. Bressan and B. Thomsen},
  booktitle = {Proceedings of the 1st Workshop on Logic Programming
	       Tools for INTERNET Applications},
  year = {1996},
  URL = {http://clement.info.umoncton.ca/~lpnet/lpnet2.html}
}

@InProceedings{Musen:00a,
	 author = "Mark A. Musen and Ray W. Fergerson and William E. Grosso and Natalya F. Noy and Monica Crub\'ezy and John H. Gennari",
	 title = "ComponentBased Support for Building Knowledge-Acquisition Systems",
	 booktitle = "Conference on Intelligent Information Processing (IIP 2000)",
	 address = "Beijing, China",
	 year = "2000",
	 note = "http://smi-web.stanford.edu/pubs/SMI_Abstracts/SMI-2000-0838.html"
	}

@Article{Noy-etal01-protege,
	 author =       "N. F. Noy and M. Sintek and S. Decker and M. Crubezy and R. W. Fergerson and M. A. Musen",
	 title =        "Creating {Semantic Web} contents with Protege-2000",
	 journal =      "{IEEE} Intelligent Systems",
	 year =         "2001",
	 volume =       "16",
	 number =       "2",
	 pages =        "60--71",
	 topics =       "area:semweb",
}

@Article{Berners-Lee:2001:SW,
  author =       "Tim Berners-Lee and James Hendler and Ora Lassila",
  title =        "The Semantic {Web}",
  journal =      "Scientific American",
  volume =       "284",
  number =       "5",
  pages =        "34--43",
  month =        may,
  year =         "2001",
  CODEN =        "SCAMAC",
  ISSN =         "0036-8733",
  bibdate =      "Tue Apr 17 05:07:31 MDT 2001",
  URL =          "http://www.sciam.com/2001/0501issue/0501berners-lee.html",
  acknowledgement = ack-nhfb,
}

@Misc{W3C:BG:00,
      author =       "D. Brickley and R. V. {Guha (Eds)}",
      title =        "Resource Description Framework ({RDF}) Schema Specification 1.0",
      year =         "2000",
      month =        mar,
      howpublished = "W3C Recommendation",
      note =         "{\sf
		       http://www.w3.org/TR/2000/CR-rdf-schema-20000327/}"
}

@Misc{turtle,
      author =       "D. Beckett",
      title =        "{Turtle} - Terse {RDF} Triple Language.",
      year =         "2004",
      note =         "{\sf
		       http://www.ilrt.bris.ac.uk/discovery/2004/01/turtle/}"
}

@TechReport{DeanM2003OWL,
  author =       "Mike Dean and Guus Schreiber and Frank van Harmelen
                 and Jim Hendler and Ian Horrocks and Deborah L.
                 McGuinness and Peter F. Patel-Schneider and Lynn Andrea
                 Stein",
  title =        "{OWL} Web Ontology Language Reference",
  institution =  "W3C",
  year =         "2003",
  type =         "Working Draft",
  month =        mar,
  URL =          "http://www.w3.org/TR/2003/WD-owl-ref-20030331/",
}

@TechReport{IB-D913170,
  author =       "Glenn E. Krasner and Stephen T. Pope",
  title =        "A Cookbook for Using the Model-View-Controller User
                 Interface Paradigm in Smalltalk-80",
  address =      "Palo Alto",
  year =         "1988",
  descriptor =   "MVC, Smalltalk-80",
  annote =       "Enthaelt eine Beschreibung, wie man mit dem MVC-Modell
                 vom klassischen Smalltalk (bis Release 2.5) umzugehen
                 hat.",
}
 

@Article{Miller:95a,
  author =       "G. Miller",
  title =        "{WordNet}: A Lexical Database for English",
  journal =      "Comm. ACM",
  year =         1995,
  volume =       38,
  number =       11,
  month =        "November"
}

@InProceedings{Broekstra:iswc02,
  author =    "Jeen Broekstra and Arjohn Kampman and Frank van Harmelen",
  title =     "Sesame: A Generic Architecture for Storing and
               Querying RDF and RDF Schema",
  booktitle = "Proceedings of the First Internation Semantic Web Conference",
  year =      "2002",
  pages =     "54--68",
  editor =    "I. Horrocks and J. Hendler",
  month =     "July",
  publisher = "Springer Verlag",
  series =    "Lecture Notes in Computer Science",
  number =    "2342"
}

@inproceedings{Haase:iswc04,
 author = {Peter Haase and Jeen Broekstra and Andreas Eberhart and Raphael Volz}
,
 title = {A comparison of RDF query languages},
 booktitle = {Proceedings of the Third International Semantic Web Conference, Hi
roshima, Japan, 2004.},
 month = {NOV},
 year = {2004},
}

@incollection{handbook2004a,
 author = {Daniel Oberle and Raphael Volz and Boris Motik and Steffen Staab},
 title = {An extensible ontology software environment},
 booktitle = {Handbook on Ontologies},
 editor = {Steffen Staab and Rudi Studer},
 publisher = {Springer},
 series = {International Handbooks on Information Systems},
 chapter = {III},
 pages = {311-333},
 url = {\url{http://www.aifb.uni-karlsruhe.de/WBS/dob/pubs/handbook2003a.pdf}},
 year = {2004},
}

@Article{Wiederhold:1992:MAF,
  author =       "Gio Wiederhold",
  title =        "Mediators in the Architecture of Future Information
                 Systems",
  journal =      "IEEE Computer",
  volume =       "25",
  number =       "3",
  pages =        "38--49",
  month =        mar,
  year =         "1992",
  ISSN =         "0018-9162",
  bibdate =      "Sat Feb 1 16:21:14 MST 1997",
  abstract =     "Mediators embody the administrative and technical
                 knowledge to create information needed for user
                 decision-making modules. The goal is to exploit the
                 data technology puts within our reach.",
}


@TechReport{SKOS:swad,
  author =       "Alistair J. Miles",
  title =        "OWL Ontology for Thesaurus Data",
  institution =  "SWAD-Europe",
  year =         "2001",
  type =         "Deliverable",
  URL =          "http://www.w3.org/2001/sw/Europe/reports/pdf/8.6.pdf"
}

@InProceedings{miklos:DSP:2005:47,
  author =      {Zoltan Miklos and Gustaf Neumann and Uwe Zdun and Michael Sintek},
  title =       {Querying Semantic Web Resources Using TRIPLE Views},
  booktitle =   {Semantic Interoperability and Integration},
  year =        {2005},
  editor =      {Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
  number =      {04391},
  series =      {Dagstuhl Seminar Proceedings},
  publisher =   {Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany},
  OPTaddress =  {Dagstuhl, Germany},
  OPTURL =      {http://drops.dagstuhl.de/opus/volltexte/2005/47
                 [date of citation: 2005-01-01]},
  note =        {$<$http://drops.dagstuhl.de/opus/volltexte/2005/47$>$
                 [date of citation: 2005-01-01]},
  OPTannote =   {Keywords: querying , TRIPLE , views},
}

@Article{Sintek:2002:TQI,
  author =       "Michael Sintek and Stefan Decker",
  title =        "{{\em TRIPLE}} --- {A} Query, Inference, and
                 Transformation Language for the {Semantic Web}",
  journal =      "Lecture Notes in Computer Science",
  volume =       "2342",
  pages =        "364--",
  year =         "2002",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743",
  bibdate =      "Tue Sep 10 19:09:41 MDT 2002",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/2342/23420364.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/2342/23420364.pdf",
  acknowledgement = ack-nhfb
}

@TechReport{XDIG:sekt,
  author =       "Zhisheng Huang and Cees Visser",
  title =        "An Extended DIG Description Logic Interface for Prolog",
  institution =  "SEKT",
  year =         "2003",
  type =         "Deliverable",
  note =          "URL = http://wasp.cs.vu.nl/sekt/dig/"
}

@TechReport{Ontoplugin,
	author = "S. Handschuh",
	title = "{OntoPlugins} a flexible component framework",
        type = "Technical report",
	institution = "University of Karlsruhe",
	year = "2001",
	month = "may"
	   }

@Article{scheiber:ieee01,
  author =       "Guus Schreiber and Barbara Dubbeldam and Jan Wielemaker and Bob Wielinga",
  title =        "Ontology-based photo annotation",
  journal =      "IEEE Intelligent Systems",
  year =         "2001",
  month =	 "may/june"
}

@TechReport{Dean:04a,
  author = 	 {M. Dean and A. Th. Schreiber and S. Bechofer and 
                  F. van Harmelen and J. Hendler and I. Horrocks and 
                  D. MacGuinness and P. Patel-Schneider and L. A. Stein},
  title = 	 {{OWL Web Ontology Language Reference}},
  institution =  {World Wide Web Consortium},
  year = 	 2004,
  type =	 {{W3C Recommendation}},
  month =	 {10 February},
  note =	 {Latest version: http://www.w3.org/TR/owl-ref/}
}


@InProceedings{McBride:01a,
  author = 	 {Brian McBride},
  title = 	 {Jena: Implementing the RDF Model and Syntax 
                 Specification},
  booktitle =	 {Semantic Web Workshop, WWW 2001},
  year =	 2001
}

@InProceedings{ Broekstra:02a,
  author = 	 {Jeen Broekstra and Arjohn Kampman and 
                 Frank van Harmelen},
  title = 	 {Sesame: An Architecture for Storing and 
                 Querying RDF and RDF Schema},
  booktitle =	 {Proc. First International Semantic Web Conference 
                 ISWC 2002, Sardinia, Italy},
  pages =	 {54--68},
  year =	 2002,
  volume =	 2342,
  series =	 {LNCS},
  publisher =	 {Springer-Verlag}
}

@Article{gupta:03,
  author =       {Kunal Patel and Gopal Gupta},
  title =        {Semantic Processing of the Semantic Web},
  journal =      {Lecture Notes in Computer Science},
  volume =       {2870},
  pages =        {80--95},
  month =        Jan,
  year =         2003
}

@InProceedings{Wielemaker:05a,
               author = "Jan Wielemaker",
               title = "An optimised Semantic Web query language
			implementation in Prolog",
               booktitle = "ICLP 2005",
	       pages = "128-142",
	       editor = "Maurizio Baggrielli and Gopal Gupta",
               publisher = "Springer Verlag",
               address = "Berlin, Germany",
               year = "2005",
	       month = "October",
               note = "LNCS 3668"
              }

@InProceedings{iclp95*697,
  author =       "I. V. Ramakrishnan and Prasad Rao and Konstantinos
                 Sagonas and Terrance Swift and David S. Warren",
  title =        "Efficient Tabling Mechanisms for Logic Programs",
  pages =        "697--714",
  ISBN =         "0-262-69177-9",
  editor =       "Leon Sterling",
  booktitle =    "Proceedings of the 12th International Conference on
                 Logic Programming",
  month =        jun # "~13--18",
  publisher =    "MIT Press",
  address =      "Cambridge",
  year =         "1995",
}

@Article{PiLLoW,
  title =       "Distributed {WWW} Programming using (Ciao-)Prolog and
                 the Pi{LL}o{W} library",
  author =      "Daniel Cabeza Gras and Manuel V. Hermenegildo",
  journal =     "TPLP",
  year =        "2001",
  number =      "3",
  volume =      "1",
  bibdate =     "2002-01-03",
  bibsource =   "DBLP,
                 http://dblp.uni-trier.de/db/journals/tplp/tplp1.html#GrasH01",
  pages =       "251--282",
}

@Article{hearst02finding,
 title = "Finding the flow in web site search",
  author = "M. Hearst and J. English and R. Sinha and K. Swearingen and K. Yee",
  journal = "Communications of the ACM",
  year = "2002",
  month = "September",
  number = "9",
  volume = "45",
  pages = "42-49"
}


@InProceedings{aurora-www,
  author =	"P\'{e}ter Szeredi and Katalin Moln\'{a}r and Rob
		 Scott",
  title =	"{S}erving {M}ultiple {HTML} {C}lients from a {P}rolog
		 {A}pplication",
  booktitle =	"Proceedings of the 1st Workshop on Logic Programming
		 Tools for INTERNET Applications",
  address =	"JICSLP''96, Bonn",
  month =	sep,
  year = 	"1996",
  note = 	"Available from 
		 http://clement.info.umoncton.ca/\~{}lpnet/lpnet9.html",
}

@Article{porto:2003,
  author =	"Ant\'{o}nio Porto",
  title =	"An Integrated Information System Powered by {Prolog}",
  journal =	"Lecture Notes in Computer Science",
  volume =	"2562",
  page =	"92-109",
  month =	January,
  year = 	"2003"
}


@inproceedings{ontoviews,
  author    = {Eetu M{\"a}kel{\"a} and
               Eero Hyv{\"o}nen and
               Samppa Saarela and
               Kim Viljanen},
  title     = {OntoViews - A Tool for Creating Semantic Web Portals.},
  booktitle = {International Semantic Web Conference},
  year      = {2004},
  pages     = {797-811},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=797},
  crossref  = {DBLP:conf/semweb/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@InProceedings{jade,
  title =       "{JADE} --- {A} {FIPA}-compliant agent framework",
  author =      "Fabio Bellifemine and Agostino Poggi and Giovanni
                 Rimassa",
  year =        "1999",
  pages =       "97--108",
  booktitle =   "Proceedings of the 4th International Conference on the
                 Practical Applications of Agents and Multi-Agent
                 Systems (PAAM-99)",
  address =     "London, UK",
  publisher =   "The Practical Application Company Ltd.",
  URL =         "http://sharon.cselt.it/projects/jade/PAAM.pdf",
  abstract =    "JADE is a software framework to develop agent
                 applications in compliance with the FIPA specifications
                 for interoperable intelligent multi-agent systems. The
                 goal is to simplify development while ensuring standard
                 compliance through a comprehensive set of system
                 services and agents. JADE can then be considered an
                 agent middle-ware that implements an Agent Platform and
                 a development framework. It deals with all those
                 aspects that are not peculiar of the agent internals
                 and that are independent of the applications, such as
                 message transport, encoding and parsing, or agent
                 life-cycle. This paper presents the JADE software
                 describing its intended uses, as well as being a
                 walkthrough of JADE internal architecture. The main
                 architectural issues are discussed, and the major
                 design decisions are outlined.",
}

@Article{Philips:2000:DMS,
  author =      "Lawrence Philips",
  title =       "The Double Metaphone Search Algorithm",
  journal =     "j-CCCUJ",
  volume =      "18",
  number =      "6",
  pages =       "??--??",
  month =       jun,
  year =        "2000",
  CODEN =       "CCUJEX",
  ISSN =        "1075-2838",
  bibdate =     "Tue May 14 18:09:26 MDT 2002",
  bibsource =   "http://www.cuj.com/articles/2000/0006/0006toc.htm?topic=articles",
  abstract =    "Computer vision is a broad and deep topic, but
                 computer hearing is no breeze either, particularly when
                 trying to recognize surnames.",
  acknowledgement = "ack-nhfb",
}

@Article{stitchpilot1,
  author =	"Marjolein van Gendt and Antoine Isaac and Lourens van der Meij and Stefan Schlobach",
  title =	"Semantic Web Techniques for Multiple Views on Heterogeneous Collections: a Case Study",
note = "URL = http://www.cs.vu.nl/{\tt\string~}lourens/publications/stitchpilot1.pdf",
 journal = "Paper Under Review",
 year = {2006}

}
