Logic programming and databases
Logic programming and databases
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
Verification of non-monotonic knowledge bases
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
User-Driven Ontology Evolution Management
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Agile Development Of Diagnostic Knowledge Systems (Diski)
Agile Development Of Diagnostic Knowledge Systems (Diski)
Web Semantics: Science, Services and Agents on the World Wide Web
IEEE Software
Web Semantics: Science, Services and Agents on the World Wide Web
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic desktop 2.0: the Gnowsis experience
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Semantic web architecture: stack or two towers?
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Verification and refactoring of ontologies with rules
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Knowledge-Based Systems
Visualizing logical dependencies in SWRL rule bases
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
KnowWE: a Semantic Wiki for knowledge engineering
Applied Intelligence
Resolving anomalies in configuration knowledge bases
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Combining acquisition and debugging of business rule models
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications not only are Semantic Wikis, Semantic Desktops, but also advanced Web Services and agents. The application of rules increases the expressiveness of the underlying knowledge in many ways. Likewise, the integration not only creates new challenges for the design process of such ontologies, but also existing evaluation methods have to cope with the extension of ontologies by rules. Since the verification of Owl ontologies with rule extensions is not tractable in general, we propose to verify ontologies at the symbolic level by using a declarative approach: With the new language Datalog^@?, known anomalies can be easily specified and tested in a compact manner. We introduce supplements to existing verification techniques to support the design of ontologies with rule enhancements, and we focus on the detection of anomalies that especially occur due to the combined use of rules and ontological definitions.