367 search results - page 12 / 74 » Hybrid Logics and Ontology Languages |
WSPI
2004
13 years 10 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
SIS
2007
13 years 10 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
FOIKS
2006
Springer
14 years 11 days ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...