<!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>Based on Ontologies for Determining the Similarity of User Preferences</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Oksana Oborska</string-name>
          <email>oksana.v.oborska@lpnu.ua</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mykhailo Teliatynskyi</string-name>
          <email>mykhailo.teliatynskyi.mknsp.2021@lpnu.ua</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmytro Dosyn</string-name>
          <email>Dmytro.h.dosyn@lpnu.ua</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vasyl Lytvyn</string-name>
          <email>vasyl.v.lytvyn@lpnu.ua</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Svitlana</string-name>
          <email>svitlana.kostenko@lnu.edu.ua</email>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Ivan Franko Lviv National University 1</institution>
          ,
          <addr-line>Universytetska st., Lviv, 79001</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Lviv Polytechnic National University 12</institution>
          ,
          <addr-line>Stepana Bandera st., Lviv, 79013</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The work examines the construction of an intelligent system for searching for users with similar preferences. The system includes a series of tests and surveys to determine preferences. The central component of the system is the ontology. This ontology stores the users of the system and their answers to the tests and surveys. Based on the results of the tests and surveys, connections are made between their elements in the ontology. Based on these connections, the system makes decisions about the similarity of user preferences. The system has been developed and tested as a website. The test results are satisfactory.</p>
      </abstract>
      <kwd-group>
        <kwd>Intelligent system</kwd>
        <kwd>ontology</kwd>
        <kwd>information search</kwd>
        <kwd>personal preference</kwd>
        <kwd>personal interest</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Nowadays, people use the Internet not only to search for information, but also to find new
acquaintances and people with common interests. This is especially obvious in today's conditions, when
the world situation is quite unstable, people are often psychologically depressed, without moral support,
need advice in one or another situation, as well as help or simply communication with people with the
same interests as theirs [
        <xref ref-type="bibr" rid="ref1 ref10 ref11 ref2 ref3 ref4 ref5 ref6 ref8 ref9">1-4</xref>
        ]. The development of an intelligent system that can quickly analyse and
search for people with common interests is an urgent task. Such search systems combine two
fundamental tasks: the automation of the determination of an individual's preferences and psychological
state, and the socialisation of users [
        <xref ref-type="bibr" rid="ref12 ref13 ref14 ref15 ref7">5-8</xref>
        ].
      </p>
      <p>
        An ontology is used to determine user preferences and to search for people with similar interests [
        <xref ref-type="bibr" rid="ref16">9</xref>
        ].
We believe that the use of ontology for such systems is the right solution, because the Internet is filled
with a significant amount of data, the size of which is growing rapidly and is usually unstructured.
Ontologies serve to organise knowledge and are used in areas where it is necessary to discover new
facts, to reveal hidden relationships between elements. The ontology was created using the Protege
editor, which has a large number of functions and supports the installation of additional plug-ins [
        <xref ref-type="bibr" rid="ref17">10</xref>
        ].
The PHP programming language was used to write the functions of the intelligent system [
        <xref ref-type="bibr" rid="ref18">11</xref>
        ].
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Ontology construction</title>
      <p>The following requirements are set for the functional content of the intelligent system:</p>
      <p>The possibility of registration and authorization of users with the input of contact data;
•
•
•
•</p>
      <sec id="sec-2-1">
        <title>The ability to edit the user profile;</title>
      </sec>
      <sec id="sec-2-2">
        <title>Search for users with common preferences and interests;</title>
      </sec>
      <sec id="sec-2-3">
        <title>Liking and saving the profile of such users;</title>
        <p>2023 Copyright for this paper by its authors.
• The opportunity to pass various surveys and tests;
• The possibility of saving the results of completed surveys;
• Providing recommendations to the user.</p>
        <p>The knowledge base is the object that usually has to be worked with in practice. It contains
knowledge from any subject area, collected by experts and recorded in the form of axioms and facts. A
knowledge base recorded in a suitable computer format (usually OWL language with XML syntax) is
called an ontology. Having such an ontology, specialists use special software systems (nominal
arguments) to check it for feasibility, the absence of obvious errors (for example, by checking the
feasibility of all atomic concepts), and also perform requests to extract knowledge logically following
from those contained in the ontology. In the language of descriptive logic, logical problems correspond
to these operations. The central component of the intelligent system is the ontology, which contains:
• Classes;
• Instances of classes;
• Attributes (properties) and values of these properties;
• The relationship between classes and instances of classes.</p>
        <p>An ontology contains relationships between its elements to determine user preferences and to search
for other users with similar preferences. The essence of using the ontology is that it is used to analyse
the similarity of system users according to their preferences. Based on the results of the analysis, the
system decides to what extent the users of the system have common interests, and these results are sent
to the users. The system offers these users to get to know each other.</p>
        <p>The main task in descriptive logic is to study the admissibility of these problems, to build algorithms
for solving them, to estimate their numerical complexity, and to optimize the built algorithms.</p>
        <p>Concepts of descriptive logic are interesting not only in themselves, but as a tool for recording
information about the described subject area. This knowledge is divided into general knowledge about
concepts and their relationships (so-called intentional knowledge) and knowledge about individual
objects, their properties and connections with other objects (so-called extensional knowledge). The first
are more stable and constant, while the second are more subject to modifications. According to this
section, knowledge recorded using the language of descriptive logic is divided into:
• A set of terminological axioms or TBox;
• A set of confirmations (facts) about persons or ABox.</p>
        <p>
          In practice, experts in any subject area create a terminology in which, in the form of an axiom, they
fix the relationships of the main concepts (concepts and roles) that they have in this area of knowledge.
After such a system of axioms is formulated, the tasks of deriving new (or, as they say, implicit)
knowledge from the knowledge given explicitly in the terminology arise. One of the first tasks is to
check that the terminology generally has at least one model (i.e. compatible). Next, it is verified that all
atomic concepts are feasible in this terminology. If some atomic concept turns out to be unjustified, it
is usually an admission that mistakes have been made in the axioms of the terminology [
          <xref ref-type="bibr" rid="ref19 ref20">12-14</xref>
          ].
        </p>
        <p>To implement the task, the classes «User» and «Section» (Fig. 1) were created in the ontology, which
include the following subclasses:</p>
      </sec>
      <sec id="sec-2-4">
        <title>a) property “performs”</title>
        <p>b) property “adds”</p>
      </sec>
      <sec id="sec-2-5">
        <title>c) property “loads”</title>
      </sec>
      <sec id="sec-2-6">
        <title>d) property “has</title>
      </sec>
      <sec id="sec-2-7">
        <title>e) property “creates”</title>
        <p>Figure 2: Created properties, their domains and ranges</p>
        <p>Figures 3a-b shows some of the properties of the created ontology classes. The “date_of_creation”
property – contains domains such as: Admin, Moderator, Normal_User, Results, Photos, Polls, Quiz,
Shared. A data range is a data type, in this case «xsd:dateTime» , which is specifically for dates. The
«name» property contains the following domains: Administrator, Moderator, Normal_user, Friends,
Test, Survey, Recommended, Favorites, Shared. The data type in this case will be xsd:dateTime.</p>
        <p>In the following, the terminology is used to derive new inclusions and equivalence concepts from
existing ones.</p>
        <p>Terminology is allowed to record general knowledge about concepts and roles. However, in addition
to this, it is usually also necessary to write down knowledge about specific individuals: to which class
(concept) they belong, by what relations (roles) they are related to others. This is done in a part of the
knowledge base called the Individual Fact System, or Abox. To this end, in addition to a set of CN
atomic concepts and a set of RN atomic roles, i.e. of names for classes and relations, a finite IN set of
individual names is also introduced. Facts about individuals are of two types:
• approval of the attributes of the individual a of the concept C — written as a: C;
• the statement about the connection of two individuals a and b with the role of R — written as
aRb.</p>
        <p>Classes in the ontology are filled with instances. For example, an instance of the User class is an
instance with the following data: name – Andriy, password – ***, e-mail – andriitest@mail.com, date
of registration in the system – 2022-07-06 at 14:05:00, and also contains the property photo, which is
added to the ontology. In general, the hierarchy of ontology classes looks like this (see Fig. 4).</p>
        <p>The developed ontology is used by the intelligent system to perform the following functions: 1)
creation of a list of users; 2) use of algorithms for list analysis; 3) calculation of the probability of
similarity of users based on common interests; 4) development of interaction with the user. The
intelligent system is developed in the form of a web page, which contains the following functions:
authorisation; registration; storage of tokens; session monitoring; adding a photo of the user; sending
requests to the server from users; displaying client errors.</p>
        <p>In the logic of predicates of the system of facts, A corresponds to a set of closed formulas of the
form P(a) and S(a, b), where P(x) is a formula with one free variable (in addition, it is not free, but is a
translation of another concept), and S is a double predicate symbol (corresponds to a certain atomic
role). At the same time, according to the knowledge base, this is a special case of such a well-known
concept as a first-order theory, namely, it is a theory defined by a finite number of axioms and
formulated in some special fragment of the language of predicate logic. Descriptive logics are
constructed in such a way that the knowledge bases are permitted theories. Moreover, it is usually
required that, given a theory (knowledge base) and an assertion, it is possible to efficiently (i.e.,
algorithmically) determine whether a given assertion is a consequence of that theory.</p>
        <p>The developed ontology was successfully validated by the W3C RDFValidation Service [15]: "Your
syntax is correct" and "Your RDF document has been successfully validated".</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Implementation of the intelligent system and its implementation</title>
      <p>The knowledge base is a collection of statements about a certain subject area, collected by experts
in this field. In order to use this knowledge, a mechanism for extracting information from the knowledge
base is needed. That's what queries are for. Let the signature Σ = (CN, RN, IN) be given, that is, the sets
of atomic concepts, roles, and individuals. To formulate queries, we introduce a new sort of symbols
a countable set of individual variables Var = {x0, x1, . . .}. Atoms (or atomic queries) are expressions
of the form u: C and uRv , where C is a concept, R is a role, u, v are individuals (from IN) or variables (from
Var ).</p>
      <p>For a fixed terminology T, the inclusion relation (or implication) is defined on the concepts: T |= C
⸦ D. Similarly, for a fixed RBox R, the inclusion relation between roles is defined: R |= R ⸦ S. We will
extend the inclusion relation to arbitrary queries: T | = q ⸦ p, where T is arbitrary terminology (that is,
TBox or the union of TBox and RBox , if the latter are present in the logic).</p>
      <p>The PHP programming language was chosen for the development of the intelligent system and the
PhpStorm environment [16]. The SPARQL query language and the PHP library - EasyRDF [17] were
used to access the ontology. SPARQL is a language for querying ontology data presented in RDF
format, as well as a protocol for transmitting these queries and responses to them. Using the EasyRDF
library, a number of queries are written in the SPARQL language. An example of one of these queries is
shown in Figure 5.</p>
      <p>Ontology classes are filled with instances based on completed surveys and tests registered by users.
These surveys and tests are published on the Internet Figure 6.</p>
      <p>The description of some ontology in the RDF language is a directed graph (a graph whose edges
have an orientation, i.e. are arrows), the edges of which are marked by predicates, and the vertices are
the subject and object of the triplet represented by this edge together with its vertices. In this case, the
term RDF Store (RDF Store) is used for such graphs. In this sense, an RDF repository looks like a
database structured in a specific way. Obtaining data from a relational database is usually carried out
using a request written in a special SQL language (Structured Query Language - Structured Query
Language), requests to databases. It can be expected that a similar approach is practiced for RDF
repositories. There are indeed many different dialects of the RDF query language now. The W3
consortium has chosen one such language as a standard - SPARQL. SPARQL is a recursive acronym
that stands for SPARQL Protocol and RDF Query Language. It is obvious that the name parallels the
abbreviation SQL. The basic element of a SPARQL query is the triple pattern. The pattern of a triple is
a triple, in some places of which there are variables instead of a subject, predicate or object. Variables
are identified by identifiers beginning with the question mark "?".</p>
      <p>SPARQL treats the input data as a directed labeled graph, which is internally expressed as triples
consisting of a subject, a predicate, and an object. Accordingly, a SPARQL query consists of a set of
ternary patterns in which each element (subject, predicate, and object) can be a variable (substitution
pattern). Variable solutions are then found by matching patterns in the query with triples in the dataset.</p>
      <p>Just as SQL allows users to retrieve and modify data in a relational database, SPARQL provides
the same functionality for NoSQL graph databases such as GraphDB Ontotext.</p>
      <p>In addition, a SPARQL query can also be performed on any database that can be viewed as RDF
through a middleware. For example, a relational database can be queried using SPARQL using the
Relational Database to RDF Mapping Software (RDB2RDF). This is what makes SPARQL such a
powerful language for computation, filtering, aggregation, and subquery functions.</p>
      <p>An example of one of the created surveys is shown in Figure 8.</p>
      <p>If user "Bogdan" liked the profile of user "Anna", then the ontology will include it in the "Liked"
subclass. Accordingly, when user "Anna" goes to the user search section, user "Bogdan" will be one
of the first in the list, since the ontology has established a link between these two objects.
Recommendations based on tests passed work in a similar way. Users with similar answers and
resultsare recommended to each other.</p>
      <p>The functioning of the intelligent system was tested by registering new users with activity on
the Internet. The accuracy of the system is 97%.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusions</title>
      <p>The work examines the construction of an intelligent system for searching for users with similar
preferences. The system includes a series of tests and surveys to determine preferences. The central
component of the system is the ontology. This ontology stores the users of the system and their
answers to the tests and surveys. Based on the results of the tests and surveys, connections are
made between their elements in the ontology. Based on these connections, the system makes
decisions about the similarity of user preferences. The system has been developed and tested as a
website. The test results are satisfactory.</p>
      <p>The system contains the following software modules:
• Registration and authorization of users with the possibility of password recovery via mail;
• Ability to edit profile and avatar data;
• The section on passing tests and thematic surveys;
• A section with the results of passed tests and the possibility of downloading data to a PC;
• Section with individual recommendations built by the ontology;
• Search preferences for a network user;
• Recommendations from users with similar interests and preferences.</p>
      <p>The further improvement of the information network is represented by the increase of its
knowledge base for greater informativeness, refinement of the ontology, improvement of the
existing base and development of new sections. It is also planned to introduce an internal chat into
the information system, so that users can communicate directly in the network.</p>
    </sec>
    <sec id="sec-5">
      <title>5. References</title>
      <p>and Practical Reasoning, Volume 3, Elsevier, 2007.
[14] What is SPARQL - A Complete Tutorial Guide - url: https://mindmajix.com/sparql- tutorial.
[15] Resource Description Framework (RDF) - url:
https://www.techtarget.com/searchapparchitecture/definition/Resource-DescriptionFramework - RDF
[16] OWLVIZ Display problems - url: https://github.com/protegeproject/owlviz/issues/19
[17] Allemang D. Semantic Web for the Working Ontologist: Effective Modeling in RDFS and
OWL James Hendler - Morgan &amp; Claypool Publishers, 2008.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1. User - Psychological
          <string-name>
            <surname>state</surname>
          </string-name>
          (Species, Influence, Depth, Forms, Time, etc.),
          <source>Data (Results</source>
          , Recommendations, Photos),
          <source>Access (Administrator</source>
          , Moderator, Regular User),
          <source>Friends (Favourites</source>
          , Recommended, Shared).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Section - Status (In Process</surname>
            , Completed, New), Survey,
            <given-names>Test.</given-names>
          </string-name>
          <article-title>The following properties were created for the given task (Fig. 2):</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          1. “creates”: domains - Moderator, Administrator;
          <fpage>ranges</fpage>
          - Section;
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>2. “loads”: domains - Administrator, Moderator, Normal user, ranges - Photo;</mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          3. «performs»:
          <article-title>Normal user; ranges -</article-title>
          <string-name>
            <surname>Survey</surname>
          </string-name>
          , Test;
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          4. “adds”: domains - Administrator;
          <fpage>ranges</fpage>
          - Moderator, Survey, Test;
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          5. “has”: domains - Psychological state;
          <fpage>ranges</fpage>
          - Emotions, Satisfaction, Attitudes, Apathy, Cheerfulness, Fatigue, Dissatisfaction, Euphoria, Anxiety, Inspiration;
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>G.</given-names>
            <surname>Alfian</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.F.</given-names>
            <surname>Ijaz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Syafrudin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Fitriyani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rhee</surname>
          </string-name>
          ,
          <article-title>Customer behavioranalysis using realtime data processing: A case study of digital signage-based online stores</article-title>
          .
          <source>AsiaPacific Journal of Marketing and Logistics</source>
          <year>2019</year>
          ,
          <volume>31</volume>
          (
          <issue>1</issue>
          ),
          <fpage>265</fpage>
          -
          <lpage>290</lpage>
          . doi:
          <volume>10</volume>
          .1108/APJML - 03-2018-0088.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>E.</given-names>
            <surname>Ferrara</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Interdonato</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Tagarelli</surname>
          </string-name>
          ,
          <article-title>Online popularity and topical interests through the lensof Instagram</article-title>
          ,
          <source>in: Proceedings of the 25th ACM Conference on Hypertext and Social Media</source>
          ,
          <volume>2</volume>
          ,
          <year>2014</year>
          , pp.
          <fpage>24</fpage>
          -
          <lpage>25</lpage>
          . doi:
          <volume>10</volume>
          .1145/2631775.2631808.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>M.</given-names>
            <surname>Salganik</surname>
          </string-name>
          ,
          <article-title>Bit by bit: Social research in the digital age</article-title>
          . Princeton University Press 2019.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>E.</given-names>
            <surname>Kim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Sung</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Kang</surname>
          </string-name>
          ,
          <article-title>Brand followers' retweeting behavior on Twitter: How brand relationship influences brand electronic word-of-mouth</article-title>
          ,
          <source>Computers in Human Behavior</source>
          <volume>38</volume>
          (
          <issue>8</issue>
          ) (
          <year>2014</year>
          )
          <fpage>18</fpage>
          -
          <lpage>25</lpage>
          . doi:
          <volume>10</volume>
          .1016/j.chb.
          <year>2014</year>
          .
          <volume>04</volume>
          .020.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>C.</given-names>
            <surname>Kudeshia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Sikdar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Mittal</surname>
          </string-name>
          ,
          <article-title>Spreading love through fan page liking: A perspective on small-scale entrepreneurs</article-title>
          ,
          <source>Computers in Human Behavior</source>
          <volume>8</volume>
          (
          <issue>19</issue>
          ) (
          <year>2016</year>
          )
          <fpage>257</fpage>
          -
          <lpage>270</lpage>
          . doi:
          <volume>10</volume>
          .1016/j.chb.
          <year>2015</year>
          .
          <volume>08</volume>
          .003.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          <source>[6] Handbook of Research on the Global Impacts and Roles of Immersive Media</source>
          <year>2019</year>
          .- 131- ISBN13:
          <fpage>978</fpage>
          -1-
          <fpage>79982</fpage>
          -433-6
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [7]
          <string-name>
            <surname>Ontology-based</surname>
          </string-name>
          Applications - url: https://www.semanticarts.com/ontology-basedapplications.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Protégé-OWL</surname>
          </string-name>
          :
          <article-title>Creating Ontology-Driven Reasoning Applications with the Web Ontology Language -</article-title>
          url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1560433/#abstract-
          <fpage>1title</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          <article-title>[9] A PHP library designed to make it easy to consume and produce RDF</article-title>
          .- url: https://www.easyrdf.org.
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>[10] W3CRDFValidation Service - url: https://www.w3.org/RDF/Validator/rdfval</mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>F.</given-names>
            <surname>Baader</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Horrocks</surname>
          </string-name>
          , and
          <string-name>
            <given-names>U.</given-names>
            <surname>Sattler</surname>
          </string-name>
          .
          <article-title>Description Logics as Ontology Languages for the Semantic Web</article-title>
          .
          <source>Lecture Notes in Artificial Intelligence</source>
          , Volume
          <volume>2605</volume>
          . Springer-Verlag,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>F.</given-names>
            <surname>Baader</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Calvanese</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>McGuinness</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Nardi</surname>
          </string-name>
          , and
          <string-name>
            <given-names>P. F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          , Eds.
          <source>The Description Logic Handbook</source>
          . Cambridge University Press,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>P.</given-names>
            <surname>Blackburn</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. van Benthem</surname>
          </string-name>
          ,
          <string-name>
            <surname>F</surname>
          </string-name>
          .Wolter, editors.
          <source>Handbook of Modal Logic. Studies in Logic</source>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>