Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Shchekotykhin, Kostyantyn"'
In many model-based diagnosis applications it is impossible to provide such a set of observations and/or measurements that allow to identify the real cause of a fault. Therefore, diagnosis systems often return many possible candidates, leaving the bu
Externí odkaz:
http://arxiv.org/abs/1612.04791
Autor:
Dodaro, Carmine, Gasteiger, Philip, Leone, Nicola, Musitsch, Benjamin, Ricca, Francesco, Shchekotykhin, Kostyantyn
Answer Set Programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial problems defined by Siemens: the Partne
Externí odkaz:
http://arxiv.org/abs/1608.00730
Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases -- during which software engineers analyze requirements to the future system using some modeling language -- are an important part of the develop
Externí odkaz:
http://arxiv.org/abs/1508.03032
Autor:
Shchekotykhin, Kostyantyn
Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process. Program debugging is one of the crucial activities within this process. Recently suggested ASP debuggin
Externí odkaz:
http://arxiv.org/abs/1403.5142
The best currently known interactive debugging systems rely upon some meta-information in terms of fault probabilities in order to improve their efficiency. However, misleading meta information might result in a dramatic decrease of the performance a
Externí odkaz:
http://arxiv.org/abs/1302.2465
Efficient ontology debugging is a cornerstone for many activities in the context of the Semantic Web, especially when automatic tools produce (parts of) ontologies such as in the field of ontology matching. The best currently known interactive debugg
Externí odkaz:
http://arxiv.org/abs/1209.3734
Modern ontology debugging methods allow efficient identification and localization of faulty axioms defined by a user while developing an ontology. The ontology development process in this case is characterized by rather frequent and regular calls to
Externí odkaz:
http://arxiv.org/abs/1209.0997
Publikováno v:
Journal of Web Semantics 12 (2012) 88-103
Effective debugging of ontologies is an important prerequisite for their broad application, especially in areas that rely on everyday users to create and maintain knowledge bases, such as the Semantic Web. In such systems ontologies capture formalize
Externí odkaz:
http://arxiv.org/abs/1107.4303
Debugging of ontologies is an important prerequisite for their wide-spread application, especially in areas that rely upon everyday users to create and maintain knowledge bases, as in the case of the Semantic Web. Recent approaches use diagnosis meth
Externí odkaz:
http://arxiv.org/abs/1004.5339
Publikováno v:
In Web Semantics: Science, Services and Agents on the World Wide Web April 2012 12-13:88-103