Matches in ScholarlyData for { ?s ?p ?o. }
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent andrew-buttigieg.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent charlie-abela.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent sven-schwarz.
- item-3 previous item-2.
- 47 creator bijan-parsia.
- 47 creator matthew-horridge.
- 47 creator ulrike-sattler.
- 47 type InProceedings.
- 47 label "Explanation of OWL Entailments in Protege 4".
- 47 sameAs 47.
- 47 abstract "This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protege 4. These explanations take the form of justifications. A justification is a minimal sets of axioms that is sufficient for a given entailment to hold. Justification finding services for Protege 4 are presented, including what have become de-facto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protege 4 is an open source, freely available OWL ontology editor.".
- 47 hasAuthorList authorList.
- 47 isPartOf poster_demo_proceedings.
- 47 keyword "Explanation".
- 47 keyword "OWL".
- 47 title "Explanation of OWL Entailments in Protege 4".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent matthew-horridge.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent bijan-parsia.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent ulrike-sattler.
- item-3 previous item-2.
- 49 creator david-leal.
- 49 creator henson-graves.
- 49 creator michel-boehms.
- 49 type InProceedings.
- 49 label "Product modelling and the Semantic Web".
- 49 sameAs 49.
- 49 abstract "This poster describes the scope and current work of the W3C Product Modelling Incubator Group.".
- 49 hasAuthorList authorList.
- 49 isPartOf poster_demo_proceedings.
- 49 keyword "model".
- 49 keyword "ontology".
- 49 keyword "product".
- 49 keyword "property".
- 49 keyword "quantity".
- 49 title "Product modelling and the Semantic Web".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent michel-boehms.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent david-leal.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent henson-graves.
- item-3 previous item-2.
- 50 creator kouji-kozaki.
- 50 creator riichiro-mizoguchi.
- 50 creator takeru-hirota.
- 50 type InProceedings.
- 50 label "Divergent Exploration of an Ontology".
- 50 sameAs 50.
- 50 abstract "This paper discusses an ontology exploration tool which allows the users to explore an ontology according to their own perspectives. It extracts concepts from an ontology and visualizes them in a user-friendly form, i.e. conceptual map, in which the user is interested. It helps users to understand the extracted knowledge from the ontology, and contribute to integrated understanding of ontologies and domain dependent knowledge.".
- 50 hasAuthorList authorList.
- 50 isPartOf poster_demo_proceedings.
- 50 keyword "conceptual map".
- 50 keyword "ontology exploration".
- 50 keyword "view point".
- 50 title "Divergent Exploration of an Ontology".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent takeru-hirota.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent kouji-kozaki.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent riichiro-mizoguchi.
- item-3 previous item-2.