2181 search results - page 226 / 437 » Ontologies and Description Logics |
168
click to vote
EWSA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
168
click to vote
OWLED
2008
15 years 8 months ago
2008
We describe the architecture of a novel ontology and rule editor ACE View. The goal of ACE View is to simplify viewing and editing expressive and syntactically complex OWL/SWRL kno...
184
click to vote
WSPI
2004
15 years 7 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
155
click to vote
RR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
176
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...