Search (4 results, page 1 of 1)

0.007753731 = product of:
  0.046522386 = sum of:
    0.046522386 = weight(_text_:b in 436) [ClassicSimilarity], result of:
      0.046522386 = score(doc=436,freq=2.0), product of:
        0.14855953 = queryWeight, product of:
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.041930884 = queryNorm
        0.31315655 = fieldWeight in 436, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.0625 = fieldNorm(doc=436)
  0.16666667 = coord(1/6)

0.006784515 = product of:
  0.04070709 = sum of:
    0.04070709 = weight(_text_:b in 668) [ClassicSimilarity], result of:
      0.04070709 = score(doc=668,freq=2.0), product of:
        0.14855953 = queryWeight, product of:
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.041930884 = queryNorm
        0.27401197 = fieldWeight in 668, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.0546875 = fieldNorm(doc=668)
  0.16666667 = coord(1/6)

0.0048460825 = product of:
  0.029076494 = sum of:
    0.029076494 = weight(_text_:b in 666) [ClassicSimilarity], result of:
      0.029076494 = score(doc=666,freq=2.0), product of:
        0.14855953 = queryWeight, product of:
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.041930884 = queryNorm
        0.19572285 = fieldWeight in 666, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          3.542962 = idf(docFreq=3476, maxDocs=44218)
          0.0390625 = fieldNorm(doc=666)
  0.16666667 = coord(1/6)

Abstract

The success of the use of ontology-based systems depends on efficient and user-friendly methods of formulating queries against the ontology. We propose a method to query a class of ontologies, called facet ontologies ( fac-ontologies ), using a faceted human-oriented approach. A fac-ontology has two important features: (a) a hierarchical view of it can be defined as a nested facet over this ontology and the view can be used as a faceted interface to create queries and to explore the ontology; (b) the ontology can be converted into an ontological database , the ABox of which is stored in a database, and the faceted queries are evaluated against this database. We show that the proposed faceted interface makes it possible to formulate queries that are semantically equivalent to $${\mathcal {SROIQ}}^{Fac}$$ SROIQ Fac , a limited version of the $${\mathcal {SROIQ}}$$ SROIQ description logic. The TBox of a fac-ontology is divided into a set of rules defining intensional predicates and a set of constraint rules to be satisfied by the database. We identify a class of so-called reflexive weak cycles in a set of constraint rules and propose a method to deal with them in the chase procedure. The considerations are illustrated with solutions implemented in the DAFO system ( data access based on faceted queries over ontologies ).

0.0037873704 = product of:
  0.022724222 = sum of:
    0.022724222 = product of:
      0.045448445 = sum of:
        0.045448445 = weight(_text_:22 in 318) [ClassicSimilarity], result of:
          0.045448445 = score(doc=318,freq=2.0), product of:
            0.1468348 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.041930884 = queryNorm
            0.30952093 = fieldWeight in 318, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.0625 = fieldNorm(doc=318)
      0.5 = coord(1/2)
  0.16666667 = coord(1/6)

Date

22. 5.2021 12:43:05