OWL Working Group

Minutes of 24 February 2009

Present
Ian Horrocks Boris Motik Mike Smith Zhe Wu Peter Patel-Schneider Jie Bao Ivan Herman Michael Schneider Markus Krötzsch Sandro Hawke Alan Ruttenberg
Remote
Jonathan Rees Evan Wallace Achille Fokoue Uli Sattler Bijan Parsia
Scribe
Peter Patel-Schneider Jie Bao
IRC Log
Original and Editable Wiki Version
Resolutions
  1. send response for 15 link
  2. reflexive, symmetric, and asymmetric should be added to be QL profile link
Topics
<sandro> PRESENT: Ian, Boris, Smith, Zhe, PFPS, Jie, Ivan, mschnei, markus, sandro, alanruttenberg
<sandro> REMOTE: rees, evan, achille, uli, bijan
<jar> hello

Jonathan Rees: hello

<jar> I can call in for the imports discussion - if that is appropriate

Jonathan Rees: I can call in for the imports discussion - if that is appropriate

<jar> Just sent email to the public-wg-comments list on the subject.

Jonathan Rees: Just sent email to the public-wg-comments list on the subject.

<jar> The meeting is starting in 1 minute, right? Am I on the right IRC channel?

Jonathan Rees: The meeting is starting in 1 minute, right? Am I on the right IRC channel?

<jar> 0 minutes?

Jonathan Rees: 0 minutes?

<bmotik> Zakim, this will be owl

Boris Motik: Zakim, this will be owl

<Zakim> ok, bmotik; I see SW_OWL(F2F)8:00AM scheduled to start 62 minutes ago

Zakim IRC Bot: ok, bmotik; I see SW_OWL(F2F)8:00AM scheduled to start 62 minutes ago

<jar> hello? am I on the right irc channel?

Jonathan Rees: hello? am I on the right irc channel?

<jar> (for owlwg f2f)

Jonathan Rees: (for owlwg f2f)

<Zakim> SW_OWL(F2F)8:00AM has now started

Zakim IRC Bot: SW_OWL(F2F)8:00AM has now started

<Zakim> +jar

Zakim IRC Bot: +jar

<Zakim> -jar

Zakim IRC Bot: -jar

<Zakim> SW_OWL(F2F)8:00AM has ended

Zakim IRC Bot: SW_OWL(F2F)8:00AM has ended

<Zakim> Attendees were jar

Zakim IRC Bot: Attendees were jar

<Zakim> SW_OWL(F2F)8:00AM has now started

Zakim IRC Bot: SW_OWL(F2F)8:00AM has now started

<Zakim> +jar

Zakim IRC Bot: +jar

<alanr> Eta 5 min

Alan Ruttenberg: Eta 5 min

<jar> ok, so it's IRC owl, but zakim owlwg.

Jonathan Rees: ok, so it's IRC owl, but zakim owlwg.

<jar> I'm the only one on the call now - could someone dial in from the polycom please?

Jonathan Rees: I'm the only one on the call now - could someone dial in from the polycom please?

<alanr> Anyone elseon yet ?

Alan Ruttenberg: Anyone elseon yet ?

<pfps> scribenick: pfps

(Scribe set to Peter Patel-Schneider)

<IanH> q?

Ian Horrocks: q?

<IanH> zakim, who is here?

Ian Horrocks: zakim, who is here?

<Zakim> On the phone I see jar

Zakim IRC Bot: On the phone I see jar

<Zakim> On IRC I see jar, alanr, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, sandro, ewallace, trackbot

Zakim IRC Bot: On IRC I see jar, alanr, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, sandro, ewallace, trackbot

<Zakim> +MIT346

Zakim IRC Bot: +MIT346

<bijan> I'll primarily be ircing, but can, mostly, call in at key points at least until lunch

Bijan Parsia: I'll primarily be ircing, but can, mostly, call in at key points at least until lunch

<pfps> Topic: OWL RL

1. OWL RL

<pfps> ian: comment 61 and 15

Ian Horrocks: comment 61 and 15

<pfps> ian: approve response for 15?

Ian Horrocks: approve response for 15?

<pfps> Proposed: send response for 15

PROPOSED: send response for 15

<IanH> +1

Ian Horrocks: +1

<pfps> pfps: +1 ALU

Peter Patel-Schneider: +1 ALU

<MarkusK_> +1

Markus Krötzsch: +1

<bijan> +1

Bijan Parsia: +1

<bmotik> +1

Boris Motik: +1

<zwu2> +1 ORACLE

Zhe Wu: +1 ORACLE

<msmith> +1

Mike Smith: +1

<pfps> RESOLVED: send response for 15

RESOLVED: send response for 15

<schneid> +1 (15)

Michael Schneider: +1 (15)

<pfps> ian: lc comment 61 - why only RDF semantics for RL?

Ian Horrocks: lc comment 61 - why only RDF semantics for RL?

<pfps> ivan: all profiles can be interpreted both ways

Ivan Herman: all profiles can be interpreted both ways

<pfps> ian: yes, but conformance may be a bit off

Ian Horrocks: yes, but conformance may be a bit off

<pfps> msmith: conformance needs to be changed

Mike Smith: conformance needs to be changed

<pfps> ian: no disagreement - documents need to be clarified

Ian Horrocks: no disagreement - documents need to be clarified

<pfps> boris: actual solution - what does an OWL 2 RL checker do

Boris Motik: actual solution - what does an OWL 2 RL checker do

<pfps> msmith: EL and QL are DL semantics - RL and Full are RDF semantics

Mike Smith: EL and QL are DL semantics - RL and Full are RDF semantics

<pfps> ian: so we parameterize on the semantics

Ian Horrocks: so we parameterize on the semantics

<pfps> ian: we say that all conformance can use either semantics

Ian Horrocks: we say that all conformance can use either semantics

<pfps> ian: RL needs a bit of work for RDF syntax RL entailment checkers

Ian Horrocks: RL needs a bit of work for RDF syntax RL entailment checkers

<pfps> schneid: RDF semantics doesn't give any benefit for EL and QL

Michael Schneider: RDF semantics doesn't give any benefit for EL and QL

<pfps> markus: can you notice a difference in EL and QL

Markus Krötzsch: can you notice a difference in EL and QL

<pfps> msmith: yes

Mike Smith: yes

<pfps> ian: no computational guarantees except for direct semantics

Ian Horrocks: no computational guarantees except for direct semantics

<pfps> msmith: we define OWL 2 RL ontology document but then don't use it

Mike Smith: we define OWL 2 RL ontology document but then don't use it

<pfps> ian: need editorial fixup in conformance document (only)

Ian Horrocks: need editorial fixup in conformance document (only)

<pfps> ian: respond to Jos that he is right and we are fixing it in conformance

Ian Horrocks: respond to Jos that he is right and we are fixing it in conformance

<pfps> action: ian to make fixes for 61 and craft response

ACTION: ian to make fixes for 61 and craft response

<trackbot> Created ACTION-298 - Make fixes for 61 and craft response [on Ian Horrocks - due 2009-03-03].

Trackbot IRC Bot: Created ACTION-298 - Make fixes for 61 and craft response [on Ian Horrocks - due 2009-03-03].

<pfps> ian: conformance is parameterized on semantics

Ian Horrocks: conformance is parameterized on semantics

<pfps> topic: OWL QL

2. OWL QL

<sandro> subtopic: Add reflexive, symmetric, and asymmetric?

2.1. Add reflexive, symmetric, and asymmetric?

<pfps> ian: uli sent a message on how the submitters of the comments feel about changes

Ian Horrocks: uli sent a message on how the submitters of the comments feel about changes

<pfps> scribenick: jie

(Scribe set to Jie Bao)

<pfps> ian: profiles needs to be clear that results are for direct semantics only

Ian Horrocks: profiles needs to be clear that results are for direct semantics only [ Scribe Assist by Peter Patel-Schneider ]

<MarkusK_> markus: when allowing RDF semantics for profiles, we need to make sure that the Profiles document takes this into account

Markus Krötzsch: when allowing RDF semantics for profiles, we need to make sure that the Profiles document takes this into account [ Scribe Assist by Markus Krötzsch ]

<MarkusK_> markus: especially the complexity part does not seem to mention this now

Markus Krötzsch: especially the complexity part does not seem to mention this now [ Scribe Assist by Markus Krötzsch ]

<sandro> zakim, who is here?

Sandro Hawke: zakim, who is here?

<Zakim> On the phone I see jar, MIT346

Zakim IRC Bot: On the phone I see jar, MIT346

<Zakim> On IRC I see Jie, sandro, alanr, schneid, ivan, zwu2, jar, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, ewallace, trackbot

Zakim IRC Bot: On IRC I see Jie, sandro, alanr, schneid, ivan, zwu2, jar, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, ewallace, trackbot

<Jie> Ian: Uli is talking the QL people

Ian Horrocks: Uli is talking the QL people

<Jie> s/talking/talking with

s/talking/talking with

<Jie> ... people agree we can't get convincing use cases

... people agree we can't get convincing use cases

<Zakim> +Evan_Wallace

Zakim IRC Bot: +Evan_Wallace

<Jie> Mike: we have implementation showing they are trival things

Mike Smith: we have implementation showing they are trival things

<Zakim> +[IBM]

Zakim IRC Bot: +[IBM]

<Achille> zakim, ibm is me

Achille Fokoue: zakim, ibm is me

<Zakim> +Achille; got it

Zakim IRC Bot: +Achille; got it

<sandro> rrsagent, pointer?

Sandro Hawke: rrsagent, pointer?

<RRSAgent> logging to http://www.w3.org/2009/02/24-owl-irc

RRSAgent IRC Bot: logging to http://www.w3.org/2009/02/24-owl-irc

14:32:27 <RRSAgent> logging to http://www.w3.org/2009/02/24-owl-irc

RRSAgent IRC Bot: logging to http://www.w3.org/2009/02/24-owl-irc

14:32:58 <Jie> Ian: Health WG has good use case

Ian Horrocks: Health WG has good use case

14:33:48 <Zakim> +??P15

Zakim IRC Bot: +??P15

14:33:49 <Jie> Ivan: the problem is even if it is technically possible to add such features, I'm not sure we should

Ivan Herman: the problem is even if it is technically possible to add such features, I'm not sure we should

14:33:57 <uli> zakim, ??P15 is me

Uli Sattler: zakim, ??P15 is me

14:33:57 <Zakim> +uli; got it

Zakim IRC Bot: +uli; got it

14:34:09 <uli> zakim, mute me

Uli Sattler: zakim, mute me

14:34:09 <Zakim> uli should now be muted

Zakim IRC Bot: uli should now be muted

14:34:11 <Jie> ... add a new feature without major justification may not be good

... add a new feature without major justification may not be good

14:34:18 <IanH> zakim, who is here?

Ian Horrocks: zakim, who is here?

14:34:18 <Zakim> On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

Zakim IRC Bot: On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

14:34:19 <Zakim> On IRC I see RRSAgent, Achille, Jie, sandro, alanr, schneid, ivan, zwu2, jar, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, ewallace, trackbot

Zakim IRC Bot: On IRC I see RRSAgent, Achille, Jie, sandro, alanr, schneid, ivan, zwu2, jar, msmith, MarkusK_, Zakim, bmotik, pfps, IanH, bijan, uli, ewallace, trackbot

14:34:31 <Jie> ... I'm worry about for doing it lately

... I'm worry about for doing it lately

14:34:44 <IanH> q?

Ian Horrocks: q?

14:34:56 <Jie> ... We get overall negative feedback on RL all together]

... We get overall negative feedback on RL all together]

14:36:05 <Jie> Mike: I think a justification is that it is in OWL and we can add it without technical difficult.

Mike Smith: I think a justification is that it is in OWL and we can add it without technical difficult.

14:36:23 <Jie> ... open linked data people would need it

... open linked data people would need it

14:36:43 <Jie> ... even through I don't have a specific example now

... even through I don't have a specific example now

14:37:06 <Jie> Alan: Profile document needs to be more user understandable

Alan Ruttenberg: Profile document needs to be more user understandable

14:37:31 <Jie> ... adding a new functionality will increase its complexity

... adding a new functionality will increase its complexity

14:37:42 <sandro> zakim, who is on the call?

Sandro Hawke: zakim, who is on the call?

14:37:42 <Zakim> On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

Zakim IRC Bot: On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

14:38:23 <Jie> Zhe: we can define the core stuff, and user add their need

Zhe Wu: we can define the core stuff, and user add their need

14:38:28 <sandro> jar, ewallace, uli, Achille --- the webcam is active again -- http://www.w3.org/People/Sandro/webcam

Sandro Hawke: jar, ewallace, uli, Achille --- the webcam is active again -- http://www.w3.org/People/Sandro/webcam

14:38:41 <uli> +1 to Markus

Uli Sattler: +1 to Markus

14:38:55 <uli> and Mike, sorry!

Uli Sattler: and Mike, sorry!

14:39:26 <Jie> Markus: Profile is target at making ontology processing easier

Markus Krötzsch: Profile is target at making ontology processing easier

14:40:03 <Jie> Ivan: We sure can implement more, but that's not the point

Ivan Herman: We sure can implement more, but that's not the point

14:40:48 <Jie> ... if we don't know what the community need, then it is not we do standardization

... if we don't know what the community need, then it is not we do standardization

14:41:57 <Jie> Ivan: QL anr RL are "entry-level" ontologies in OWL

Ivan Herman: QL anr RL are "entry-level" ontologies in OWL

14:42:01 <Jie> ... it should be easy

... it should be easy

14:42:19 <Jie> Mike: One of the audience of QL is linked data

Mike Smith: One of the audience of QL is linked data

14:42:47 <Jie> ... also include people who want get relational data in OWL

... also include people who want get relational data in OWL

14:42:56 <Jie> ... they are not new to OWL

... they are not new to OWL

14:43:22 <Jie> Alan: QL and RL are different

Alan Ruttenberg: QL and RL are different

14:43:49 <Jie> QL is targeted at low complexity

QL is targeted at low complexity

14:44:07 <Jie> ... we are not designing the language to be introdutory

... we are not designing the language to be introdutory

14:44:40 <Jie> s/ introdutory/introductory/

s/ introdutory/introductory/

14:44:54 <Jie> Boris: we have some general misunderstanding

Boris Motik: we have some general misunderstanding

14:45:05 <Jie> ... on why need QL

... on why need QL

14:45:36 <Jie> ... on processing database data, or low complexity or rule reasoning

... on processing database data, or low complexity or rule reasoning

14:46:25 <uli> +1 to Boris -- this distinction makes "space" for vendor's PR and for teaching/KT

Uli Sattler: +1 to Boris -- this distinction makes "space" for vendor's PR and for teaching/KT

14:46:34 <ewallace> This is the same discussion around OWL Lite

Evan Wallace: This is the same discussion around OWL Lite

14:46:39 <ewallace> as Sandro says

Evan Wallace: as Sandro says

14:46:59 <Jie> Zhe: from vendor point of view

Zhe Wu: from vendor point of view

14:47:08 <Jie> ... vendor wants to add more

... vendor wants to add more

14:48:12 <Jie> ... but i don't think it is necessary to add this feature

... but i don't think it is necessary to add this feature

14:49:16 <Jie> Peter: if people don't understand, they should look at primer

Peter Patel-Schneider: if people don't understand, they should look at primer

14:49:35 <Jie> Ian: profile is not techinical driven

Ian Horrocks: profile is not techinical driven

14:49:43 <Jie> ... it is user community driven

... it is user community driven

14:49:54 <schneid> q+

Michael Schneider: q+

14:50:07 <Jie> ... it should be the case we do it because it is doable

... it should be the case we do it because it is doable

14:51:17 <Jie> Ivan: in QL, the major disagreement is on sameAs

Ivan Herman: in QL, the major disagreement is on sameAs

14:52:00 <Jie> Markus: we don't get simpler to move a feature from non allowed list to allowed list

Markus Krötzsch: we don't get simpler to move a feature from non allowed list to allowed list

14:52:13 <IanH> q?

Ian Horrocks: q?

14:52:18 <IanH> ack schneid

Ian Horrocks: ack schneid

14:53:06 <Jie> schneid: requirement for QL for processing database data IS technical requirement

Michael Schneider: requirement for QL for processing database data IS technical requirement

14:53:36 <Jie> ... features we should avoid are

... features we should avoid are

14:53:57 <Jie> ... the ones need further understanding or other features

... the ones need further understanding or other features

14:54:08 <Jie> ... or the ones may be misleading

... or the ones may be misleading

14:54:21 <Jie> ... i think that's not the case here

... i think that's not the case here

14:54:23 <schneid> was owl lite easy to understand for new users?

Michael Schneider: was owl lite easy to understand for new users?

14:54:40 <Jie> Alan: reducing the language does not help anybody

Alan Ruttenberg: reducing the language does not help anybody

14:55:14 <Jie> Boris: I didn't say it should technical driven

Boris Motik: I didn't say it should technical driven

14:55:25 <IanH> q?

Ian Horrocks: q?

14:55:29 <Jie> s/should/should be

s/should/should be

14:55:53 <Jie> ... I agree things should be simple

... I agree things should be simple

14:56:10 <Jie> ... but it may exculde some people

... but it may exculde some people

14:57:41 <Jie> Ian: of course the document should be improve a little

Ian Horrocks: of course the document should be improve a little

14:57:49 <Jie> ... but the document is not user facing

... but the document is not user facing

14:58:20 <Jie> ... the specification document are for people who build system

... the specification document are for people who build system

14:59:21 <Jie> ... if they run into things they can't understand, there is primer, overview and (there will be) other books

... if they run into things they can't understand, there is primer, overview and (there will be) other books

15:00:39 <Jie> ... we should void the mistake that pointing people to the wrong document

... we should void the mistake that pointing people to the wrong document

15:02:07 <Jie> Boris: why we need profile, it is contentious

Boris Motik: why we need profile, it is contentious

15:02:50 <Jie> ... there would be extension, but it will be painful.

... there would be extension, but it will be painful.

15:03:23 <Jie> Zhe: I agree we should focus on accessability

Zhe Wu: I agree we should focus on accessability

15:03:56 <Jie> ... for a regular user without good OWL knowledge, which one to choose?

... for a regular user without good OWL knowledge, which one to choose?

15:04:04 <Jie> ... we should make it clear to them

... we should make it clear to them

15:04:12 <sandro> zakim, who is on the call

Sandro Hawke: zakim, who is on the call

15:04:14 <Zakim> I don't understand 'who is on the call', sandro

Zakim IRC Bot: I don't understand 'who is on the call', sandro

15:04:17 <sandro> zakim, who is on the call?

Sandro Hawke: zakim, who is on the call?

15:04:17 <Zakim> On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

Zakim IRC Bot: On the phone I see jar, MIT346, Evan_Wallace, Achille, uli (muted)

15:05:23 <ewallace> Ian's suggestion sounds good.

Evan Wallace: Ian's suggestion sounds good.

15:05:45 <Jie> Ian: profile can have some discussion, but the major explanation will be in the primer

Ian Horrocks: profile can have some discussion, but the major explanation will be in the primer

15:05:51 <ewallace> Explain in detail in Primer, summarize in Profile doc.

Evan Wallace: Explain in detail in Primer, summarize in Profile doc.

15:06:38 <Jie> Ivan: some examples in profile will help

Ivan Herman: some examples in profile will help

15:06:46 <Jie> Boris: i agree

Boris Motik: i agree

15:07:38 <Jie> Ian: we should go back and focus on decision

Ian Horrocks: we should go back and focus on decision

15:07:55 <uli> and

Uli Sattler: and

15:07:55 <uli> and symmetric

Uli Sattler: and symmetric

15:08:45 <Jie> PROPOSED: the reflexive, symmetric, and asymmetric should be added to be QL profile

PROPOSED: the reflexive, symmetric, and asymmetric should be added to be QL profile

15:08:47 <pfps> +1 (ALU)

Peter Patel-Schneider: +1 (ALU)

15:08:49 <uli> +1

Uli Sattler: +1

15:08:49 <alanr> +1

Alan Ruttenberg: +1

15:08:50 <MarkusK_> +1

Markus Krötzsch: +1

15:08:51 <sandro> +1

Sandro Hawke: +1

15:08:52 <Jie> +1

+1

15:08:52 <schneid> +1

Michael Schneider: +1

15:08:52 <IanH> +1

Ian Horrocks: +1

15:08:55 <ewallace> +0

Evan Wallace: +0

15:08:56 <ivan> s/asymmertic/assymetric

Ivan Herman: s/asymmertic/assymetric

15:09:00 <ivan> 0

Ivan Herman: 0

15:09:01 <zwu2> -0

Zhe Wu: -0

15:09:03 <bmotik> +1

Boris Motik: +1

15:09:08 <bijan> 0

Bijan Parsia: 0

15:09:18 <Achille> 0

Achille Fokoue: 0

15:09:22 <msmith> +1

Mike Smith: +1

15:09:25 <Jie> s/add/added

s/add/added

15:09:47 <Jie> RESOLVED

RESOLVED

15:10:04 <alanr> An example that I've recently dealt with on the profiles was a snomed inspired (approximate) workaround for the lack of union in EL. There are benefits and tradeoffs and this might serve as an informative example.

Alan Ruttenberg: An example that I've recently dealt with on the profiles was a snomed inspired (approximate) workaround for the lack of union in EL. There are benefits and tradeoffs and this might serve as an informative example.

15:10:29 <uli> q+ to explain

Uli Sattler: q+ to explain

15:10:37 <uli> i don't mind

Uli Sattler: i don't mind

15:10:41 <ivan> ack uli

Ivan Herman: ack uli

15:10:42 <uli> zakim, unmute me

Uli Sattler: zakim, unmute me

15:10:42 <Zakim> uli, you wanted to explain

Zakim IRC Bot: uli, you wanted to explain

15:10:44 <Zakim> uli was not muted, uli

Zakim IRC Bot: uli was not muted, uli

15:10:50 <IanH> ack uli

Ian Horrocks: ack uli

15:11:03 <schneid> s/assymetric/asymmetric :-)

Michael Schneider: s/assymetric/asymmetric :-)

<sandro> RESOLVED: reflexive, symmetric, and asymmetric should be added to be QL profile

RESOLVED: reflexive, symmetric, and asymmetric should be added to be QL profile

<sandro> subtopic: Add sameAs

2.2. Add sameAs

15:12:14 <alanr> q+

Alan Ruttenberg: q+

15:12:42 <uli> zakim, mute me

Uli Sattler: zakim, mute me

15:12:42 <Zakim> uli should now be muted

Zakim IRC Bot: uli should now be muted

15:12:52 <IanH> q?

Ian Horrocks: q?

15:12:55 <IanH> ack alanr

Ian Horrocks: ack alanr

15:12:57 <Jie> Uli: if we add sameAS, we may have either recursive query or materialized view

Uli Sattler: if we add sameAS, we may have either recursive query or materialized view

15:13:02 <Jie> ... we need to note it

... we need to note it

15:13:31 <ivan> q+

Ivan Herman: q+

15:13:43 <Jie> Alan: for many users, having an extra table is not an issue

Alan Ruttenberg: for many users, having an extra table is not an issue

15:13:45 <uli> no Jie, I said that, if we don't use sameAs, we can use a standard RDBMs system without touching the data.

Uli Sattler: no Jie, I said that, if we don't use sameAs, we can use a standard RDBMs system without touching the data.

15:14:02 <Jie> thanks, uli

thanks, uli

15:14:08 <uli> ...and if we have sameAs, we need a system..

Uli Sattler: ...and if we have sameAs, we need a system..

15:14:12 <uli> zakim, unmute me

Uli Sattler: zakim, unmute me

15:14:12 <Zakim> uli should no longer be muted

Zakim IRC Bot: uli should no longer be muted

15:14:19 <IanH> q?

Ian Horrocks: q?

15:14:47 <msmith> no

Mike Smith: no

15:14:51 <alanr> but what about using materialization for transitive

Alan Ruttenberg: but what about using materialization for transitive

15:15:17 <alanr> q?

Alan Ruttenberg: q?

15:15:22 <uli> zakim, mute me

Uli Sattler: zakim, mute me

15:15:22 <Zakim> uli should now be muted

Zakim IRC Bot: uli should now be muted

15:15:28 <Jie> Ian: question is if we have sameAs, will we have transitive property also?

Ian Horrocks: question is if we have sameAs, will we have transitive property also?

15:15:50 <Jie> Mike:  transitive property is not in LOGSAPCE

Mike Smith: transitive property is not in LOGSAPCE

15:15:59 <Jie> ... it increases complexity

... it increases complexity

15:16:33 <uli> +1 to Markus

Uli Sattler: +1 to Markus

15:17:01 <uli> (the point about QL is "by querying only")

Uli Sattler: (the point about QL is "by querying only")

15:18:06 <Jie> Boris: adding transitive is not only about recursive query

Boris Motik: adding transitive is not only about recursive query

15:18:33 <MarkusK_> markus: replying to alln, I do not think that it is enough to state that QL can still be implmented in DBs using "some extra tables"

Markus Krötzsch: replying to alln, I do not think that it is enough to state that QL can still be implmented in DBs using "some extra tables" [ Scribe Assist by Markus Krötzsch ]

<sandro> Meeting in progress. New content inserted above this line.

Sandro Hawke: Meeting in progress. New content inserted above this line.


This revision (#2) generated 2009-02-24 15:23:58 UTC by 'sandro', comments: 'update on meeting in progress'