Sciweavers

1042 search results - page 78 / 209
» Ontology: The Discipline and the Tool
Sort
View
SEKE
2005
Springer
15 years 11 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
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 11 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
TOOLS
1999
IEEE
15 years 10 months ago
Class Algebra for Ontology Reasoning
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
Daniel J. Buehrer, Chee-Hwa Lee
ICAIL
2007
ACM
15 years 8 months ago
Terminological and ontological analysis of European directives: multilinguism in law
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
Gianmaria Ajani, Leonardo Lesmo, Guido Boella, Ale...
IRCDL
2008
15 years 7 months ago
Video Event Annotation using Ontologies with Temporal Reasoning
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
Marco Bertini, Alberto Del Bimbo, Giuseppe Serra