Sciweavers

591 search results - page 34 / 119
» Formal Semantics and Ontologies - Towards an Ontological Acc...
Sort
View
SEKE
2005
Springer
14 years 2 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
BIS
2007
147views Business» more  BIS 2007»
13 years 10 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil
PPAM
2007
Springer
14 years 3 months ago
Empowering Automatic Semantic Annotation in Grid
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
Michal Laclavik, Marek Ciglan, Martin Seleng, Ladi...
COOPIS
2002
IEEE
14 years 2 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
BALT
2006
14 years 23 days ago
On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
Giancarlo Guizzardi