The Death Eaters, on Voldemort's command, started bombarding the magical protection with spells, and it was ultimately brought down by a spell cast by Voldemort. This spell was cast by Filius Flitwick, Molly Weasley and Horace Slughorn to protect the boundaries of Hogwarts Castle from the Death Eater forces in the late hours of, prior to the Battle of Hogwarts that started at midnight the next day. Snatchers being disintegrated by the power of this spell combined with other protections It should be noted however that on occasion protective enchantments could be breached with a shield penetration spell. This spell was the core of the shield summoned around Hogwarts it was the shield itself that was seen descending over the castle. Spells cast at it (if not of enough power to break it) created large, resonating explosions. Remove the axiom, and resynchronise the reasoner from the reasoner menu.People who were out of the shield couldn't see and hear the wizards or witches that were protected. We can simply repair this ontology by removing the ‘intracellular organelle part’ subClassOf ‘organelle’ axiom. We see the disjoint class axiom alongside the two subclass axioms are causing the inconsistency. The explanation shows the axioms involved. Select the ? icon to get an explanation for this inconsistency. Inside this statement a small question mark icon appears, clicking this will get an explanation from the reasoner for this inconsistency. You will see that the class has been asserted equivalent to the Nothing class. The class description for ‘intracellular organelle part’ should look something like the following screen shot. Once the ontology is classified inferred statements or axioms are shown in the various panels with a light yellow shading. The “class hierarchy (inferred)” view will show you all subclasses of Nothing. Any classes that are deemed unsatisfiable by the reasoner are shown as sublasses or equivalent to OWL Nothing. OWL Nothing is a leaf class or bottom class of your ontology. When we previously said that all OWL classes are sublasses of OWL Thing. (Note - in Protege 5.1, the toggle the “Asserted button” to switch to the inferred view.) Here you will a special class called Nothing. You can also see unsatisfiable classes using the “Class hierarchy (inferred)” panel next to the “Class hierarchy” panel. The ‘intracellular organelle part’ class will have changed to red indicating that the class is now unsatisfiable. Once a reasoner is highlighted, select “Start reasoner” from the menu.Ī progress bar will indicate when classification is complete. Select a reasoner from the Reasoner menu (HermiT, Pellet or Fact++ will work). Protégé comes with several reasoners, and more can be installed via the plugins mechanism (see plugins chapter). The reasoner should detect our contradiction. We can use the reasoner to check the consistency of our ontology. We have now added an axiom stating that ‘organelle’ and ‘organelle part’ are all disjoint. We previously asserted that ‘intracellular organelle part’ is a subclass of both ‘organelle part’ and ‘organelle’. We have introduced a deliberate mistake into the ontology.
0 Comments
Leave a Reply. |