Making Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2016-11-04

AUTHORS

Nicolas Matentzoglu , Markel Vigo , Caroline Jay , Robert Stevens

ABSTRACT

The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, often with the help of reasoners. For users of Protégé, this involves, for example, exploring the inferred class hierarchy.We explore the hypothesis that making changes to key entailment sets explicit improves verification compared to the standard static hierarchy/frame-based approach. We implement our approach as a Protégé plugin and conduct an exploratory study to isolate the authoring actions for which users benefit from our approach. In a second controlled study we address our hypothesis and find that, for a set of key authoring problems, making entailment set changes explicit improves the understanding of consequences both in terms of correctness and speed, and is rated as the preferred way to track changes compared to a static hierarchy/frame-based view. More... »

PAGES

432-446

Book

TITLE

Knowledge Engineering and Knowledge Management

ISBN

978-3-319-49003-8
978-3-319-49004-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-49004-5_28

DOI

http://dx.doi.org/10.1007/978-3-319-49004-5_28

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1084903655


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Matentzoglu", 
        "givenName": "Nicolas", 
        "id": "sg:person.016500366331.54", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016500366331.54"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vigo", 
        "givenName": "Markel", 
        "id": "sg:person.012230044727.62", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012230044727.62"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jay", 
        "givenName": "Caroline", 
        "id": "sg:person.01046531377.48", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01046531377.48"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "The University of Manchester, Oxford Road, M13 9PL, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stevens", 
        "givenName": "Robert", 
        "id": "sg:person.0653547307.62", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0653547307.62"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2016-11-04", 
    "datePublishedReg": "2016-11-04", 
    "description": "The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, often with the help of reasoners. For users of Prot\u00e9g\u00e9, this involves, for example, exploring the inferred class hierarchy.We explore the hypothesis that making changes to key entailment sets explicit improves verification compared to the standard static hierarchy/frame-based approach. We implement our approach as a Prot\u00e9g\u00e9 plugin and conduct an exploratory study to isolate the authoring actions for which users benefit from our approach. In a second controlled study we address our hypothesis and find that, for a set of key authoring problems, making entailment set changes explicit improves the understanding of consequences both in terms of correctness and speed, and is rated as the preferred way to track changes compared to a static hierarchy/frame-based view.", 
    "editor": [
      {
        "familyName": "Blomqvist", 
        "givenName": "Eva", 
        "type": "Person"
      }, 
      {
        "familyName": "Ciancarini", 
        "givenName": "Paolo", 
        "type": "Person"
      }, 
      {
        "familyName": "Poggi", 
        "givenName": "Francesco", 
        "type": "Person"
      }, 
      {
        "familyName": "Vitali", 
        "givenName": "Fabio", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-49004-5_28", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-49003-8", 
        "978-3-319-49004-5"
      ], 
      "name": "Knowledge Engineering and Knowledge Management", 
      "type": "Book"
    }, 
    "keywords": [
      "Web Ontology Language", 
      "frame-based approach", 
      "terms of correctness", 
      "Ontology Language", 
      "central ontology", 
      "Prot\u00e9g\u00e9 plugin", 
      "ontology authors", 
      "class hierarchy", 
      "unintended inferences", 
      "modelling step", 
      "users", 
      "plugin", 
      "set changes", 
      "ontology", 
      "reasoner", 
      "correctness", 
      "preferred way", 
      "verification", 
      "language", 
      "prot\u00e9g\u00e9s", 
      "set", 
      "hierarchy", 
      "inference", 
      "help", 
      "axioms", 
      "inconsistencies", 
      "Explicit", 
      "speed", 
      "example", 
      "way", 
      "incoherency", 
      "step", 
      "exploratory study", 
      "view", 
      "terms", 
      "action", 
      "authors", 
      "understanding", 
      "consequences", 
      "changes", 
      "study", 
      "activity", 
      "hypothesis", 
      "defects", 
      "approach", 
      "problem", 
      "understanding of consequences", 
      "outright defects", 
      "particular modelling step", 
      "help of reasoners", 
      "users of Prot\u00e9g\u00e9", 
      "inferred class hierarchy", 
      "key entailment sets explicit", 
      "entailment sets explicit", 
      "sets explicit", 
      "standard static hierarchy/frame-based approach", 
      "static hierarchy/frame-based approach", 
      "hierarchy/frame-based approach", 
      "entailment set changes", 
      "static hierarchy/frame-based view", 
      "hierarchy/frame-based view", 
      "frame-based view", 
      "Entailment Set Changes Explicit", 
      "Set Changes Explicit", 
      "Changes Explicit", 
      "Ontology Authoring Actions", 
      "Authoring Actions"
    ], 
    "name": "Making Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions", 
    "pagination": "432-446", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1084903655"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-49004-5_28"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-49004-5_28", 
      "https://app.dimensions.ai/details/publication/pub.1084903655"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:01", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_249.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-49004-5_28"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-49004-5_28'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-49004-5_28'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-49004-5_28'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-49004-5_28'


 

This table displays all metadata directly associated to this object as RDF triples.

163 TRIPLES      23 PREDICATES      92 URIs      85 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-49004-5_28 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N9874be8a5d094cf2aed17dd2d6ad9aa1
4 schema:datePublished 2016-11-04
5 schema:datePublishedReg 2016-11-04
6 schema:description The consequences of adding or removing axioms are difficult to apprehend for ontology authors using the Web Ontology Language (OWL). Consequences of modelling actions range from unintended inferences to outright defects such as incoherency or even inconsistency. One of the central ontology authoring activities is verifying that a particular modelling step has had the intended consequences, often with the help of reasoners. For users of Protégé, this involves, for example, exploring the inferred class hierarchy.We explore the hypothesis that making changes to key entailment sets explicit improves verification compared to the standard static hierarchy/frame-based approach. We implement our approach as a Protégé plugin and conduct an exploratory study to isolate the authoring actions for which users benefit from our approach. In a second controlled study we address our hypothesis and find that, for a set of key authoring problems, making entailment set changes explicit improves the understanding of consequences both in terms of correctness and speed, and is rated as the preferred way to track changes compared to a static hierarchy/frame-based view.
7 schema:editor Nd8ce99aafdab4cefa67b57fa521918fc
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N821d42b1bb43410bb5c7aadb13731d2c
12 schema:keywords Authoring Actions
13 Changes Explicit
14 Entailment Set Changes Explicit
15 Explicit
16 Ontology Authoring Actions
17 Ontology Language
18 Protégé plugin
19 Set Changes Explicit
20 Web Ontology Language
21 action
22 activity
23 approach
24 authors
25 axioms
26 central ontology
27 changes
28 class hierarchy
29 consequences
30 correctness
31 defects
32 entailment set changes
33 entailment sets explicit
34 example
35 exploratory study
36 frame-based approach
37 frame-based view
38 help
39 help of reasoners
40 hierarchy
41 hierarchy/frame-based approach
42 hierarchy/frame-based view
43 hypothesis
44 incoherency
45 inconsistencies
46 inference
47 inferred class hierarchy
48 key entailment sets explicit
49 language
50 modelling step
51 ontology
52 ontology authors
53 outright defects
54 particular modelling step
55 plugin
56 preferred way
57 problem
58 protégés
59 reasoner
60 set
61 set changes
62 sets explicit
63 speed
64 standard static hierarchy/frame-based approach
65 static hierarchy/frame-based approach
66 static hierarchy/frame-based view
67 step
68 study
69 terms
70 terms of correctness
71 understanding
72 understanding of consequences
73 unintended inferences
74 users
75 users of Protégé
76 verification
77 view
78 way
79 schema:name Making Entailment Set Changes Explicit Improves the Understanding of Consequences of Ontology Authoring Actions
80 schema:pagination 432-446
81 schema:productId N8feedb0728ce43cebb75b29856fb37d6
82 Nb4b10059c9bf432fb720da9afb8be262
83 schema:publisher N78870200037b4eda98557a10008aac16
84 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084903655
85 https://doi.org/10.1007/978-3-319-49004-5_28
86 schema:sdDatePublished 2021-12-01T20:01
87 schema:sdLicense https://scigraph.springernature.com/explorer/license/
88 schema:sdPublisher N9ae0d1024eef4b09b4c251045552de22
89 schema:url https://doi.org/10.1007/978-3-319-49004-5_28
90 sgo:license sg:explorer/license/
91 sgo:sdDataset chapters
92 rdf:type schema:Chapter
93 N2f7d6ac7f9d54f5ab66967ff4cec309a rdf:first sg:person.0653547307.62
94 rdf:rest rdf:nil
95 N31640ff0860a45a39f763d763228777e rdf:first N972fc9c5352c4ee3a44e2ca59d798e5d
96 rdf:rest Nf2b4455b5ae548e8ac88607e6ecedfe3
97 N6241a3212ff84f9381c1b1d7d82f87db schema:familyName Ciancarini
98 schema:givenName Paolo
99 rdf:type schema:Person
100 N6a86962749a44ce2b57add8c9bacd506 rdf:first N6241a3212ff84f9381c1b1d7d82f87db
101 rdf:rest N31640ff0860a45a39f763d763228777e
102 N78870200037b4eda98557a10008aac16 schema:name Springer Nature
103 rdf:type schema:Organisation
104 N821d42b1bb43410bb5c7aadb13731d2c schema:isbn 978-3-319-49003-8
105 978-3-319-49004-5
106 schema:name Knowledge Engineering and Knowledge Management
107 rdf:type schema:Book
108 N8feedb0728ce43cebb75b29856fb37d6 schema:name dimensions_id
109 schema:value pub.1084903655
110 rdf:type schema:PropertyValue
111 N972fc9c5352c4ee3a44e2ca59d798e5d schema:familyName Poggi
112 schema:givenName Francesco
113 rdf:type schema:Person
114 N9874be8a5d094cf2aed17dd2d6ad9aa1 rdf:first sg:person.016500366331.54
115 rdf:rest Nc563a86c25304ae8b31ac5413e54067b
116 N9ae0d1024eef4b09b4c251045552de22 schema:name Springer Nature - SN SciGraph project
117 rdf:type schema:Organization
118 Nb4b10059c9bf432fb720da9afb8be262 schema:name doi
119 schema:value 10.1007/978-3-319-49004-5_28
120 rdf:type schema:PropertyValue
121 Nc563a86c25304ae8b31ac5413e54067b rdf:first sg:person.012230044727.62
122 rdf:rest Nf11eac10cc4a491b9854cf32357e3cea
123 Nd8ce99aafdab4cefa67b57fa521918fc rdf:first Ndbb78af8908444a282a9ad3d5856d770
124 rdf:rest N6a86962749a44ce2b57add8c9bacd506
125 Ndbb78af8908444a282a9ad3d5856d770 schema:familyName Blomqvist
126 schema:givenName Eva
127 rdf:type schema:Person
128 Nf11eac10cc4a491b9854cf32357e3cea rdf:first sg:person.01046531377.48
129 rdf:rest N2f7d6ac7f9d54f5ab66967ff4cec309a
130 Nf2b4455b5ae548e8ac88607e6ecedfe3 rdf:first Nf513c4a59d95490d9d8e2ce90ee5a73f
131 rdf:rest rdf:nil
132 Nf513c4a59d95490d9d8e2ce90ee5a73f schema:familyName Vitali
133 schema:givenName Fabio
134 rdf:type schema:Person
135 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
136 schema:name Information and Computing Sciences
137 rdf:type schema:DefinedTerm
138 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
139 schema:name Computation Theory and Mathematics
140 rdf:type schema:DefinedTerm
141 sg:person.01046531377.48 schema:affiliation grid-institutes:grid.5379.8
142 schema:familyName Jay
143 schema:givenName Caroline
144 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01046531377.48
145 rdf:type schema:Person
146 sg:person.012230044727.62 schema:affiliation grid-institutes:grid.5379.8
147 schema:familyName Vigo
148 schema:givenName Markel
149 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012230044727.62
150 rdf:type schema:Person
151 sg:person.016500366331.54 schema:affiliation grid-institutes:grid.5379.8
152 schema:familyName Matentzoglu
153 schema:givenName Nicolas
154 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016500366331.54
155 rdf:type schema:Person
156 sg:person.0653547307.62 schema:affiliation grid-institutes:grid.5379.8
157 schema:familyName Stevens
158 schema:givenName Robert
159 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0653547307.62
160 rdf:type schema:Person
161 grid-institutes:grid.5379.8 schema:alternateName The University of Manchester, Oxford Road, M13 9PL, Manchester, UK
162 schema:name The University of Manchester, Oxford Road, M13 9PL, Manchester, UK
163 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...