Sciweavers

1099 search results - page 153 / 220
» Petri net ontology
Sort
View
DCFS
2011
66views more  DCFS 2011»
13 years 11 months ago
Kleene Theorems for Product Systems
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
ACL
2010
14 years 10 months ago
Expanding Verb Coverage in Cyc with VerbNet
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
Clifton McFate
WWW
2006
ACM
16 years 16 days ago
DoNet: a semantic domotic framework
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
Malcolm Attard, Matthew Montebello
ICDE
2008
IEEE
118views Database» more  ICDE 2008»
15 years 6 months ago
OntoNet: Scalable knowledge-based networking
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
Joseph B. Kopena, Boon Thau Loo
SWAP
2007
15 years 1 months ago
Using WordNet to turn a Folksonomy into a Hierarchy of Concepts
As the volume of information in the read-write Web increases rapidly, folksonomies are becoming a widely used tool to organize and categorize resources in a bottom up, flat and in...
David Laniado, Davide Eynard, Marco Colombetti