Groups

thea-owl-lib

1–25 of 25

0 selected

Mirna El Ghosh, Chris Mungall3

1/29/21

Thea2 - Windows

Thank you for letting me know, Regards On Fri, Jan 29, 2021 at 12:02 AM Chris Mungall <cmungall@

unread,

Thea2 - Windows

Thank you for letting me know, Regards On Fri, Jan 29, 2021 at 12:02 AM Chris Mungall <cmungall@

1/29/21

Silvano J C Oliveira, Chris Mungall2

5/5/15

Windows version

Sorry, I won't be much help here, I never use Windows On 5 May 2015, at 13:43, Silvano JC

unread,

Windows version

Sorry, I won't be much help here, I never use Windows On 5 May 2015, at 13:43, Silvano JC

5/5/15

Riccardo Zese, Chris Mungall3

5/5/15

Load OWL/XML file

For my work it is very important, I have to exploit annotation. The rdf loader works fine but I would

unread,

Load OWL/XML file

For my work it is very important, I have to exploit annotation. The rdf loader works fine but I would

5/5/15

Jochem Liem, … Vangelis Vassiliadis3

9/5/12

Publication to cite for the Thea library?

Hi Jochem, good luck from me as well. Vangelis On 5 September 2012 19:26, Chris Mungall <cjmungall

unread,

Publication to cite for the Thea library?

Hi Jochem, good luck from me as well. Vangelis On 5 September 2012 19:26, Chris Mungall <cjmungall

9/5/12

3/5/12

"OWL-S Matcher" Problem

Hello, My goal is to test an example with the algorithm "OWL-S Matcher". I use the version

unread,

"OWL-S Matcher" Problem

Hello, My goal is to test an example with the algorithm "OWL-S Matcher". I use the version

3/5/12

Joan Forums, Chris Mungall2

12/21/11

Start here: http://www.semanticweb.gr/thea/ It has links to the technical paper, and to the github

unread,

Start here: http://www.semanticweb.gr/thea/ It has links to the technical paper, and to the github

12/21/11

10/13/11

Fwd: [SWIPL] Just-in-time multi-argument indexing (take two)

I think this will be very good news for Thea - both for standard querying of the TBox, and also for

unread,

Fwd: [SWIPL] Just-in-time multi-argument indexing (take two)

I think this will be very good news for Thea - both for standard querying of the TBox, and also for

10/13/11

LuisPHP, … Jochem Liem14

9/28/11

You should take care when working with literals. They can have different forms depending on whether

unread,

You should take care when working with literals. They can have different forms depending on whether

9/28/11

Immanuel, Chris Mungall2

9/21/11

Installation problem

You shouldn't need to install - you can just run the scripts in the bin dir directly. Or if you

unread,

Installation problem

You shouldn't need to install - you can just run the scripts in the bin dir directly. Or if you

9/21/11

6/4/11

of interest: http://logic.aifb.uni-karlsruhe.de/wiki/PrOWLog

unread,

of interest: http://logic.aifb.uni-karlsruhe.de/wiki/PrOWLog

6/4/11

5/26/11

[thea-owl-lib] RDF representation remains after load_axioms and after retract_all_axioms

Dear Chris/Vangelis, We are working on our first DynaLearn release in which we do all our OWL

unread,

[thea-owl-lib] RDF representation remains after load_axioms and after retract_all_axioms

Dear Chris/Vangelis, We are working on our first DynaLearn release in which we do all our OWL

5/26/11

Jochem Liem, Chris Mungall3

4/6/11

[Thea] Suggestions for improvements: namespaces in loaded abstract syntax + active ontology

Hi Chris, > I agree that specifying full URIs can be tedious. The problem with allowing 'rdfs:

unread,

[Thea] Suggestions for improvements: namespaces in loaded abstract syntax + active ontology

Hi Chris, > I agree that specifying full URIs can be tedious. The problem with allowing 'rdfs:

4/6/11

Jochem Liem, Vangelis Vassiliadis5

4/4/11

[THEA2] Asserting rdf:List?

I have to get out of the habit of figuring this out immediately after sending an email. I should

unread,

[THEA2] Asserting rdf:List?

I have to get out of the habit of figuring this out immediately after sending an email. I should

4/4/11

Chris Mungall, Vangelis Vassiliadis2

3/31/11

OWL2-RL rules in Thea

Well spotted Chris and a nice piece of work from Jesus. Indeed we did not make any publication for

unread,

OWL2-RL rules in Thea

Well spotted Chris and a nice piece of work from Jesus. Indeed we did not make any publication for

3/31/11

Vangelis Vassiliadis2

3/4/11

Fwd: FW: thea info

From: Vangelis Vassiliadis [mailto:vang...@semanticweb.gr] Sent: Thursday, March 03, 2011 6:05 PM To

unread,

Fwd: FW: thea info

From: Vangelis Vassiliadis [mailto:vang...@semanticweb.gr] Sent: Thursday, March 03, 2011 6:05 PM To

3/4/11

3/3/11

Re: example of thea

I believe someone is working on OWL-S? On Mar 3, 2011, at 1:00 AM, ingegnere ingegnere wrote: > HI

unread,

Re: example of thea

I believe someone is working on OWL-S? On Mar 3, 2011, at 1:00 AM, ingegnere ingegnere wrote: > HI

3/3/11

3/2/11

Fwd: OWLED2011: Extended Call for Papers

I don't have much time to prepare anything detailed - I may do a 4-page paper on posh http://

unread,

Fwd: OWLED2011: Extended Call for Papers

I don't have much time to prepare anything detailed - I may do a 4-page paper on posh http://

3/2/11

Chris Mungall, Vangelis Vassiliadis3

2/28/11

experimental new module for mapping from rdf_db to owl2_model

On Feb 24, 2011, at 12:40 AM, Vangelis Vassiliadis wrote: > Hi Chris, > > I had a look the

unread,

experimental new module for mapping from rdf_db to owl2_model

On Feb 24, 2011, at 12:40 AM, Vangelis Vassiliadis wrote: > Hi Chris, > > I had a look the

2/28/11

Jochem Liem, … Chris Mungall7

1/27/11

[THEA2] Asserting axiomAnnotations

Dear Vangalis/Chris, Many thanks for developing a solution. I've downloaded the axiomannotation

unread,

[THEA2] Asserting axiomAnnotations

Dear Vangalis/Chris, Many thanks for developing a solution. I've downloaded the axiomannotation

1/27/11

Chris Mungall, Vangelis Vassiliadis3

11/29/10

latest merge onto master

Sounds reasonable. I'll leave as-is then. You can use is_class/1 to test if something is declared

unread,

latest merge onto master

Sounds reasonable. I'll leave as-is then. You can use is_class/1 to test if something is declared

11/29/10

11/27/10

Posh - the Prolog OWL shell

I just added a new module "owl2_shell.pl" to master. Here's a blog post describing some

unread,

Posh - the Prolog OWL shell

I just added a new module "owl2_shell.pl" to master. Here's a blog post describing some

11/27/10

11/23/10

bridging between Thea and Attempto

Hi Ace folks. I contribute code to the SWI-Prolog Thea OWL2 library. Thea allows an OWL2 ontology to

unread,

bridging between Thea and Attempto

Hi Ace folks. I contribute code to the SWI-Prolog Thea OWL2 library. Thea allows an OWL2 ontology to

11/23/10

11/23/10

merged pkb branch into master

This mostly affects non-core modules. A few new modules such as owl2_graph_reasoner, and owl2_lcs.

unread,

merged pkb branch into master

This mostly affects non-core modules. A few new modules such as owl2_graph_reasoner, and owl2_lcs.

11/23/10

Chris Mungall, Vangelis4

11/17/10

exported predicate for translating an existing rdf_db into owl

As, I see there is already rdf_db_to_owl/1 Going in the reverse direction is trickier. If I have n

unread,

exported predicate for translating an existing rdf_db into owl

As, I see there is already rdf_db_to_owl/1 Going in the reverse direction is trickier. If I have n

11/17/10

11/13/10

owl2_graph_reasoner in pkb branch

I'm working a lot of the pkb branch these days, mostly on the following two modules: > **

unread,

owl2_graph_reasoner in pkb branch

I'm working a lot of the pkb branch these days, mostly on the following two modules: > **

11/13/10

Search

Clear search

Close search

Google apps

Main menu