Towards Pattern-based Reasoning for Friendly Ontology Debugging

Source URL: linc.ucy.ac.cy

• Computing
• Computer programming
• Object-Role Modeling
• Satisfiability
• EXPRESS
• Constraint
• Subtype polymorphism
• DogmaModeler
• Constraint logic programming
• Software engineering
• Constraint programming
• Data modeling