Sciweavers

1722 search results - page 6 / 345
» Ontology Formalism Transformation
Sort
View
FOMI
2008
13 years 9 months ago
The Business of Ontology calls for a Formal Pragmatics
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
Hans Akkermans
ICSE
2004
IEEE-ACM
14 years 7 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
APSEC
2004
IEEE
13 years 11 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
CAISE
2005
Springer
14 years 1 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels