Neli Zlatareva

Learn More
Ontologies are the backbone of the emerging Semantic Web, which is envisioned to dramatically improve current web services by extending them with intelligent capabilities such as reasoning and context-awareness. They define a shared vocabulary of common domains accessible to both, humans and computers, and support various types of information management(More)
Ž. Non-monotonic Knowledge-Based Systems KBSs must undergo quality assurance procedures for the following two Ž. Ž. reasons: i belief revision if such is provided cannot always guarantee the structural correctness of the knowledge base, Ž. and in certain cases may introduce new semantic errors in the revised theory; ii non-monotonic theories may have(More)
This paper presents a methodology for testing general non-monotonic knowledge bases for logical and semantic inconsistencies. It extends the CTMS-based verification framework introduced in our previous work with an additional integrity test. This test aims to ensure that a logically consistent non-monotonic knowledge base is also free of semantic(More)
– This paper presents our approach of introducing Machine Learning from an AI perspective. We present an AI course with a Machine Learning component. We also discuss some of the examples and projects we used to introduce various search algorithms and show how they can be extended into projects that incorporate ML techniques. The N-puzzle problem is used as(More)
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore, must deal with vague, incomplete and even inconsistent knowledge. Rules were shown to be very effective in processing such knowledge, and future web services are expected to(More)
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated and upgraded. In this paper, we review refinement activities taking place during ES development and exploits-tion, and outline a domain-independent refinement framework intended(More)