This application, called the Manchester Pizza Finder, uses a Pizza Ontology and a remote Description Logic reasoner to help users find the perfect pizza toppings for their pizza. The user can select toppings they want on their pizza, while excluding any toppings they don't want. The Description Logic reasoner will check to make sure the chosen toppings don't conflict with each other, such as choosing both Jalapeno Pepper and Pepperoni toppings.
Comments