A constraint-based decision procedure for the description logic ALCN

Britz K.; Horne T.

UnisaIR Home
→
Unisa Research Output
→
Work in progress
→
Scopus
→
View Item

dc.contributor.author	Britz K.	en
dc.contributor.author	Horne T.	en
dc.date.accessioned	2012-11-01T16:31:29Z
dc.date.available	2012-11-01T16:31:29Z
dc.date.issued	2006	en
dc.identifier.citation	ACM International Conference Proceeding Series	en
dc.identifier.citation	204	en
dc.identifier.isbn	1595935673; 9781595935670	en
dc.identifier.other	10.1145/1216262.1216287	en
dc.identifier.uri	http://hdl.handle.net/10500/7298
dc.description.abstract	Description logics are modal-like logics used to express knowledge about structured domains, and reason about them. One of the major reasoning problems in description logics is that of determining whether a given terminological knowledge base is consistent. One approach to this problem is to translate a modal satisfiability problem into stratified layers of constraint problems that can be solved by a constraint solver. We show how this approach, which was originally developed for the modal logic K, can be extended to deal effectively with cardinality restrictions on roles in the description logic ALCN. We also propose a further extension to this approach in order to deal with qualified number restrictions and arithmetic on role cardinalities. © 2006 SAICSIT.	en
dc.language.iso	en	en
dc.subject	Constraint logic programming; Description logics; Satisfiability Case based reasoning; Constraint theory; Knowledge based systems; Knowledge representation; Logic programming; Description logics; Satisfiability; Structured domains; Formal logic	en
dc.title	A constraint-based decision procedure for the description logic ALCN	en
dc.type	Conference Paper	en