<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>The University of Evora approach to QA@CLEF-2004</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Paulo Quaresma</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Lu s Quintano</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Irene Rodrigues</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jose Saias</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Pedro Salgueiro</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Departamento de Informatica, Universidade de Evora</institution>
          ,
          <country country="PT">Portugal</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The approach followed by the University of Evora team in order to build a system able to participate in the QA-CLEF task is described. The system is based in two steps: for each question, a rst information retrieval task selects a set of potentially relevant documents; then, each of these documents is analysed trying to obtain their semantic representation and the answer to the initial query. The proposed approach was applied to the test set of the QA-CLEF for the Portuguese language and the obtained results were quite interesting and motivating and allowed the identi cation of strong and weak characteristics of the system.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>For each question, a
documents.</p>
    </sec>
    <sec id="sec-2">
      <title>Introduction</title>
      <p>rst information retrieval task selects a set of potentially relevant
Then, for each of these documents that where analysed in the preparatory phase trying to
extract the facts they conveyed, the user query is interpreted on each selected text knowledge
base. When an answer to the query is obtained, the process stops and the system outputs
the answer and then identi es the document from where the answer was obtained.</p>
      <p>Our question answer system needs to have a preliminary information retrieval task, de ning a
smaller set of potentially relevant documents due to computational complexity problems. In fact,
our main approach is to deeply analyse the set of documents and to obtain a partial semantic
representation of their content. Then, each query would be transformed into its semantic form
and an inference process would try to obtain the answer to the query. However, this approach
showed many scalability problems due to the large number of documents and associated data and
it was necessary to strongly reduce its cardinality.</p>
      <p>Section 2 describes the preparatory phase where the set of documents are preprocessed in order
to build the IR indexes and the knowledge base for each text.</p>
      <p>Section 3 describes the proposed architecture for the question-answer system and section 4
describes each of the architecture modules. A preliminary evaluation is presented in section 5 and
some conclusions and future work is discussed in section 6.
2</p>
      <p>Pre-processing the set of target documents</p>
      <p>There exists an important pre-processing phase of the target collection of documents in order
to obtain the input data necessary for our question answer system.</p>
      <p>In this phase two main tasks are done:</p>
      <p>Semantic/Pragmatic Interpretation { gives rise to a set of knowledge bases, Text facts
collection, where each knowledge base has the facts conveyed by each text.</p>
      <p>Information retrieval indexing { creates the les that index the full set of documents with a
reference to the knowledge base associated to each document, Sino Index Files.
The other tasks of this phase are:</p>
      <p>
        Portuguese Parser - each text of the collection is analysed by the Portuguese parser PALAVRAS
[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] developed in the context of the VISL1 project in the Institute of Language and
Communication of the University of Southern Denmark. The output of the parser is a le with the
syntactic analysis of each text.
      </p>
      <p>We've chosen to keep the rst syntactic analysis for each sentence; this option is one of our
sources of problems.</p>
      <p>
        Semantic Interpretation { each syntactic structure is rewritten into a First-Order Logic
expression. The technique used for this analysis is based on DRS's (Discourse Representation
Structures)[
        <xref ref-type="bibr" rid="ref6">6</xref>
        ].
1Visual Interactive Syntax Learning
      </p>
      <p>This technique identi es triggering syntactic con gurations on the global sentence structure,
which activates the rewriting rules. We always rewrite the pp's by the relation 'rel(prep,A,B)'
postponing its interpretation to the semantic pragmatic module.</p>
      <p>The semantic representation of sentence is a DRS build with two lists, one with the new
sentence rewritten and the other with the sentence discourse referents.</p>
      <p>One of the most important requirements of the proposed QA system is to have a knowledge
base of facts inferred from the analysis of the set of target documents and an ontology containing
the concepts referred in the documents.</p>
      <p>
        Ontology { From the output of the DRS's generation and from an existent top ontology
of concepts, a new ontology containing the concepts referred in the documents was created
[
        <xref ref-type="bibr" rid="ref10 ref9">10, 9</xref>
        ].
      </p>
      <p>
        This step showed to be very problematic, due to the large number of concepts referred in the
documents and to the complexity and di culty of nding correct relations between them.
The obtained ontology was created in the OWL (Ontology Web Language) format and in
a logic programming framework, ISCO [
        <xref ref-type="bibr" rid="ref1 ref2">1, 2</xref>
        ], which allows the integration of Prolog-like
inference mechanisms with classes and inheritance, and constraint solving algorithms.
Knowledge base { From this ontology and from each sentence semantic representation we
could obtain the interpretation of each text sentence that will give rise to a set of facts to
add into out knowledge base [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>However, this task showed to be very complex in its computational time and space and
the obtained knowledge base was very large and it created many problems to the inference
processes.</p>
      <p>Accordingly, it was decided to rst decrease the set of relevant documents to each query (via
IR techniques) and, then, to create a set smaller knowledge base.</p>
      <p>The knowledge base referred in gure 1 was build with a set of facts extracted from the
target text collection and with rules and facts that we import from other applications.
2.1</p>
      <sec id="sec-2-1">
        <title>Semantic/Pragmatic Interpretation of text sentences</title>
        <p>In order to obtain the set of facts of each text sentence we need to use the ontology in order to
obtain the meaning of each text sentence.</p>
        <p>The semantic/pragmatic module receives the sentence rewritten (into a First Order Logic form)
and tries to interpret it in the context of the document database information (ontology).</p>
        <p>
          In order to achieve this behaviour the system tries to nd the best explanations for the sentence
logic form to be true in the knowledge base for the semantic/pragmatic interpretation. This
strategy for interpretation is known as \interpretation as abduction" [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ].
        </p>
        <p>The knowledge base for the semantic/pragmatic interpretation is built from the Ontology. The
inference in this knowledge base uses abduction, restrictions (GNU Prolog Finite Domain (FD)
constraint solver).</p>
        <p>The knowledge base rules contains the information for the interpretation of each term in the
sentence logic form as a prolog term.</p>
        <p>As an example consider the sentence:
\O gato do Joa~o comeu o rato do Manuel/John's cat ate Manuel's mouse."
is transformed into a DRS-like term showing the 4 referents and their relations:
drs([def-A-m-s, def-B-m-s,</p>
        <p>def-C-m-s, def-D-m-s],
[cat(A), rel(of,A,B),
name(B,'Joa~o'), comer(A,C),
mouse(C), rel(of,C,D),
name(D,'Manuel')]).</p>
        <p>The semantic interpretation module using the ontology will rewrite this DRS into:
drs([def-A-m-s, def-B-m-s,</p>
        <p>def-C-m-s, def-D-m-s],
[cat(A), owns(B,A), person(B),
name(B,'Joa~o'), eats(A,C),
mouse(C), owns(D,C), person(D),
name(D,'Manuel')]).</p>
        <p>The interpretation of rel(of,A,B) as owns(A,B) is possible due to the existence of the relation
owns that relates persons and animals.</p>
        <p>Other important step in this task is to create new individuals (new identi ers) for discourse
referents when they are not instantiated during the interpretation.</p>
        <p>This last step is a source of problems for our QA-system since it is possible to have di erent
identi ers for the same individual if this task fails to identify the sentences entities. The opposite
can also happen, this task may unify individuals that are di erent.</p>
        <p>The option of building a knowledge base with the facts extracted for each documents helps us
to deal with this problems, there are fewer entities.</p>
        <p>A problem that we still have to solve is the way how we choose the best meaning for a sentence.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Information retrieval indexing</title>
        <p>
          SINO [
          <xref ref-type="bibr" rid="ref4 ref8">8, 4</xref>
          ], originally from the Australasian Legal Information Institute, was used to index the
full set of documents. It allows the creation of inverted index les and in the new version it uses
information speci c to the Portuguese language: stop words and lemmatization. In fact, SINO
was extended to use a set of Portuguese stop words (such as, articles, pronouns, prepositions) and
to transform each word in its lemma (using the Portuguese lexicon POLARIS).
        </p>
        <p>
          Documents are indexed by a specialized search engine for the Portuguese language { SINO
[
          <xref ref-type="bibr" rid="ref4 ref8">8, 4</xref>
          ] { and an information retrieval system for this collection is built. As it will be described in
more detail in the next section, the information retrieval system will be used, for each query, to
decrease the cardinality of the target set of documents.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Architecture</title>
      <p>The architecture is composed by several independent modules. Figure 2 shows a graphical view
of their relations.</p>
      <p>In the next sub-sections a brief description of each module is presented.
3.1</p>
      <sec id="sec-3-1">
        <title>Query processing</title>
        <p>Each query is processed using the same natural language tools used to analyse the full set of
documents, The Portuguese syntactic Parser Palavras and the DRS's generation. After obtaining
the Query DRS there are two task that are performed concurrently:</p>
        <p>The Semantic Pragmatic Interpretation of the query. The query semantic representation
is obtained taking into account the ontology of concepts and a knowledge base with some
general world knowledge.</p>
        <p>The query preprocessing and the interrogation of the IR system.</p>
        <p>After obtaining the query DRS, it is transformed into a search term to the IR engine { SINO.
This step is needed because it was computationally impossible to handle inferences over the
complete knowledge base created in the pre-processing phase of the documents. So, we use
an information retrieval system to obtain a set of relevant documents to make inferences
only over the knowledge base created with the information conveyed by these documents.
The IR queries are created from the semantic representation, DRS, of each query and their
structure will be described in the next section.</p>
        <p>Using the IR queries, the search engine obtains an ordered set of relevant documents. This set
is used to create a smaller knowledge base of DRS containing only the information conveyed
by these relevant documents.</p>
        <p>In this way it is possible to strongly decrease the complexity of the knowledge base and it is
possible to handle inferences over it.</p>
        <p>Finally the Process answer task receives the set of relevant knowledge bases where the query
semantic/pragmatic representation should be evaluated and tries to infer the answer to the query.</p>
        <p>
          The inference process is based in a logic programming framework, ISCO [
          <xref ref-type="bibr" rid="ref1 ref2">1, 2</xref>
          ], which allows
the integration of Prolog-like inference mechanisms with classes and inheritance, and constraint
solving algorithms.
4
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Modules</title>
      <p>In this section a more detailed description of the most relevant modules of the architecture is
presented.
4.1</p>
      <sec id="sec-4-1">
        <title>Natural Language Query Processing</title>
        <p>This module tasks: Palavras+Drs generation and the Pragmatic Interpretation follow an approach
similar with the semantic-pragmatic interpretation of the documents sentences and it uses the
same natural language tools: the PALAVRAS parser, the DRS generation and semantic-pragmatic
interpreter.</p>
        <p>After the DRS generation we are able to identify the referents which are the focus of each
query and the kind of query performed.</p>
        <p>For instance, the query: \Quem comeu o rato do Manuel/Who ate Manuel's rat?" is
transformed into the DRS-like term:
drs([who-A-X-Y, def-B-m-s, def-C-m-s],
[eat(A,B),
mouse(B), rel(de,B,C),
name(C,'Manuel')]).</p>
        <p>After obtaining the query DRS, the semantic-pragmatic interpretation using the ontology of
concepts created in the pre-processing phase gives rise to the nal query representation:
For the above example it will be:
drs([who-A-X-Y, def-B-m-s, def-C-m-s],
[eat(A,B),
mouse(B), owns(C,B),person(C),
name(C,'Manuel')]).</p>
        <p>This nal query representation will be evaluated in each knowledge base selected by the last
sino query.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Query preprocessing</title>
        <p>After obtaining the query DRS, it is transformed into a search term to the IR engine { SINO.</p>
        <p>The approach followed was to create three IR query terms for each natural language query and
to order the set of documents retrieved. The overall idea is to create a very restrictive query, a
very general one, and one in the middle. The created IR queries are boolean ones and they are
obtained from the DRS of each query:
``Em que cidade se encontra a</p>
        <p>prisa~o de San Vittore?''
cidade AND encontrar AND prisa~o
AND (San AND Vittore)
cidade AND (encontrar OR
prisa~o OR (San AND Vittore))
cidade OR encontrar OR prisa~o
OR (San AND Vittore)</p>
        <p>The rst query is the more speci c, obtained from the boolean AND of each term; the second
query is obtained from the boolean AND of the head of the query with the OR of the other terms;
and the third query is the more general, obtained from the OR of each term.</p>
        <p>From the ordered set of documents, the rst 50 are selected and they are the basis for the
creation of each query-related knowledge base.
4.3</p>
      </sec>
      <sec id="sec-4-3">
        <title>Sino - Relevant documents DRS extraction</title>
        <p>This module receives the three IR queries and it retrieves the correspondent relevant documents.
As it was already described, the IR engine used was an extension of the SINO engine from the
AustLII institute.</p>
        <p>SINO retrieves the relevant documents (using the boolean operators) and it orders the selection
using a ranking function. This ranking function gives higher priority to documents with more
word hits or with hits in the title. It is important to point out that rst documents are ordered
accordingly with the kind of query: rst the documents retrieved from the more speci c query and
with last priority the documents retrieved from the more general one. Inside each set of retrieved
documents, the order is obtained through the SINO ranking function.</p>
        <p>After having a ordered list of relevant documents, the rst 50 were selected as the basis to
create a knowledge base of facts relevant to the query. The reason why the rst 50 were chosen is
related with the goal of reducing the computational complexity and assuming a good performance
of the SINO engine.
4.4</p>
      </sec>
      <sec id="sec-4-4">
        <title>Answer inference process</title>
        <p>This module is the responsible for nding the correct, exact answer to each query. It receives the
semantic-pragmatic interpretation of each query (in a DRS-like format) and a logic-programming
based knowledge base built from the set of the most relevant 50 documents of each query.</p>
        <p>The inference process is done via the use of the Prolog resolution algorithm, which tries to
unify the referent in the query with facts extracted from the documents. This uni cation takes
into account the information associated with the referents, such as, genre and number. Moreover,
the inference process uses the "kind of" question, such as, where/when/who, to identify the feature
that is queried about. For instance, if the query is about a place of a speci c entity, "Em que
cidade se encontra a prisa~o de San Vittore?", the system tries to nd a feature of that entity that
is a place and it is not referred in the query.</p>
        <p>As it can be seen from this description, the proposed system relies on the quality of the inferred
ontology and in a good semantic-pragmatic interpretation of sentences and queries.</p>
        <p>As a consequence of our approach, the system has always a con dence value for each answer
of 1: if it nds an answer, then it is sure about it!
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Evaluation</title>
      <p>The proposed system was applied to the set of 200 questions (in fact they were 199, because one
question was not considered by the judges).</p>
      <p>It obtained 47 correct answers, 18 inexact and 134 wrong with an overall accuracy of correct
answers of 23.62% and a con dence-weighted score of 0.21619. If the accuracy is calculated over
the correct and the inexact answers, then its value is 32.66%.</p>
      <p>We believe these are quite interesting results, that show the potential of the proposed approach.
However, they also show the main problem of the system: it gave 127 "nil" answers and only 9 of
them were correct.</p>
      <p>The most important question now is: what happened in the 118 questions that had no answer
from the system?</p>
      <p>A preliminary evaluation showed that there were two main causes of problems:
the information retrieval system
the ontology</p>
      <p>The information retrieval system, which was used to decrease the complexity of the knowledge
base, quite often was not able to nd the relevant documents. In fact, this problem can be clearly
seen in the results of the IR task of CLEF'04, in which SINO showed very low recall values. This
problem can be overcome by changing the SINO queries to better ones or by solving the complexity
problems that made impossible the construction of a large, unique knowledge base. We intend to
explore both possibilities.</p>
      <p>The second problem was the quality of the ontology. In fact, the inference process relies heavily
on the ontology. For instance, it is important to know what are places, persons, dates, synonyms.
In the example presented previously, if the ontology does not have information relating "cidade"
with the class of "places", then the system would not be able to answer the query. We will also
continue to develop new strategies for constructing and merging ontologies.</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusions and Future Work</title>
      <p>This proposal represents a rst approach for a question answering system for the Portuguese
language.</p>
      <p>Our system uses natural language processing techniques to create a knowledge base from the
information conveyed by the target documents. Queries are analysed by NLP tools and inferences
are done over the knowledge base trying to nd a correct answer. The inference process is done
using a logic programming framework and the Prolog resolution.</p>
      <p>The initial idea of creating a unique, large knowledge base with the facts extracted from all
the documents was not feasible due to computational complexity problems. These problems led
to the creation of an IR pre-analysis of the queries to decrease the complexity of the knowledge
base. However, the IR engine showed some recall problems and lead to the incapacity of the QA
system to answer many queries.</p>
      <p>The ontology used was also a major problem and it was the origin of many other wrong answers.
As the QA@CLEF task uses general domain documents, this is a very complex problem: how to
obtain a good general purpose ontology?</p>
      <p>As future work, we intend to try to develop new strategies for (partially) overcome these
problems. Working with new implementation strategies it may be possible to have an unique
knowledge base and using existent ontologies and Wordnets may improve the quality of the nal
ontology.</p>
      <p>Finally, we also intend to explore the problem of inter-sentence anaphoric references and to be
able to identify the correct referents in the documents.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>Salvador</given-names>
            <surname>Abreu</surname>
          </string-name>
          .
          <article-title>Isco: A practical language for heterogeneous information system construction</article-title>
          .
          <source>In Proceedings of INAP'01</source>
          , Tokyo, Japan,
          <year>October 2001</year>
          . INAP.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>Salvador</given-names>
            <surname>Abreu</surname>
          </string-name>
          , Paulo Quaresma, Luis Quintano, and
          <string-name>
            <given-names>Irene</given-names>
            <surname>Rodrigues</surname>
          </string-name>
          .
          <article-title>A dialogue manager for accessing databases</article-title>
          .
          <source>In 13th European-Japanese Conference on Information Modelling and Knowledge Bases</source>
          , pages
          <volume>213</volume>
          {
          <fpage>224</fpage>
          ,
          <string-name>
            <surname>Kitakyushu</surname>
          </string-name>
          , Japan,
          <year>June 2003</year>
          . Kyushu Institute of Technology. To be published by IOS Press.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>Eckhard</given-names>
            <surname>Bick</surname>
          </string-name>
          .
          <article-title>The Parsing System "Palavras". Automatic Grammatical Analysis of Portuguese in a Constraint Grammar Framework</article-title>
          . Aarhus University Press,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>G.</given-names>
            <surname>Greenleaf</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mowbray</surname>
          </string-name>
          , and
          <string-name>
            <surname>G. King.</surname>
          </string-name>
          <article-title>Law on the net via austlii - 14 m hypertext links can't be right?</article-title>
          <source>In In Information Online and On Disk'97 Conference</source>
          , Sydney,
          <year>1997</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Jerry</given-names>
            <surname>Hobbs</surname>
          </string-name>
          , Mark Stickel, Douglas Appelt, and Paul Martin.
          <article-title>Interpretation as abduction</article-title>
          .
          <source>Technical Report SRI Technical Note 499</source>
          , 333 Ravenswood Ave., Menlo Park, CA
          <volume>94025</volume>
          ,
          <year>1990</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>Hans</given-names>
            <surname>Kamp</surname>
          </string-name>
          and
          <string-name>
            <given-names>Uwe</given-names>
            <surname>Reyle</surname>
          </string-name>
          .
          <article-title>From Discourse to Logic:An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory</article-title>
          . Dordrecht: D.
          <string-name>
            <surname>Reidel</surname>
          </string-name>
          ,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>Paulo</given-names>
            <surname>Quaresma</surname>
          </string-name>
          and
          <article-title>Irene Pimenta Rodrigues. A natural language interface for information retrieval on semantic web documents</article-title>
          . In E. Menasalvas,
          <string-name>
            <given-names>J.</given-names>
            <surname>Segovia</surname>
          </string-name>
          , and P. Szczepaniak, editors,
          <source>AWIC'2003 - Atlantic Web Intelligence Conference, Lecture Notes in Arti cial Intelligence LNCS/LNAI 2663</source>
          , pages
          <fpage>142</fpage>
          {
          <fpage>154</fpage>
          , Madrid, Spain, May
          <year>2003</year>
          . Springer-Verlag.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>Paulo</given-names>
            <surname>Quaresma</surname>
          </string-name>
          and
          <article-title>Irene Pimenta Rodrigues</article-title>
          . PGR:
          <article-title>Portuguese attorney general's o ce decisions on the web</article-title>
          . In Bartenstein, Geske, Hannebauer, and Yoshie, editors,
          <source>Web-Knowledge Management and Decision Support, Lecture Notes in Arti cial Intelligence LNCS/LNAI 2543</source>
          , pages
          <fpage>51</fpage>
          {
          <fpage>61</fpage>
          . Springer-Verlag,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Jose</given-names>
            <surname>Saias</surname>
          </string-name>
          .
          <article-title>Uma metodologia para a construca~o automatica de ontologias e a sua aplicaca~o em sistemas de recuperaca~o de informaca~o { a methodology for the automatic creation of ontologies and its application in information retrieval systems</article-title>
          .
          <source>Master's thesis</source>
          , University of Evora, Portugal,
          <year>2003</year>
          . In Portuguese.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Jose</given-names>
            <surname>Saias</surname>
          </string-name>
          and
          <string-name>
            <given-names>Paulo</given-names>
            <surname>Quaresma</surname>
          </string-name>
          .
          <article-title>Using nlp techniques to create legal ontologies in a logic programming based web information retrieval system</article-title>
          .
          <source>In Workshop on Legal Ontologies and Web based legal information management of the 9th International Conference on Arti cial Intelligence and Law</source>
          , Edinburgh, Scotland,
          <year>June 2003</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>