Tutorial on Modeling VAT Rules Using OWL-DL

TY - CONF

T1 - Tutorial on Modeling VAT Rules Using OWL-DL

AU - Nielsen, Morten Ib

AU - Simonsen, Jakob Grue

AU - Larsen, Ken Friis

N1 - Conference code: 1

PY - 2007

Y1 - 2007

N2 - This paper reports on work in progress. We present a methodology for constructingan OWL-DL model of a subset of Danish VAT rules. It is our intention that domainexperts without training in formal modeling or computer science should be able to createand maintain the model using our methodology. In an ERP setting such a model couldreduce the Total Cost of Ownership (TCO) and increase the quality of the system. Wehave selected OWL-DL because we believe that description logic is suited for modelingVAT rules due to the decidability of important inference problems that are key to the waywe plan to use the model and because OWL-DL is relatively intuitive to use.

AB - This paper reports on work in progress. We present a methodology for constructingan OWL-DL model of a subset of Danish VAT rules. It is our intention that domainexperts without training in formal modeling or computer science should be able to createand maintain the model using our methodology. In an ERP setting such a model couldreduce the Total Cost of Ownership (TCO) and increase the quality of the system. Wehave selected OWL-DL because we believe that description logic is suited for modelingVAT rules due to the decidability of important inference problems that are key to the waywe plan to use the model and because OWL-DL is relatively intuitive to use.

M3 - Paper

T2 -  Workshop on 3rd Generation Enterprise Resource Planning Systems

Y2 - 21 October 2007 through 22 October 2007

ER -